z3::expr::substitute(src_vector, dst_vector) does not work

From: Thomas Gruber <t.gruber ***AT***student.tugraz.at>
Date: Thu, 24 Nov 2016 18:54:29 +0100
Subject: z3::expr::substitute(src_vector, dst_vector) does not work
Newsgroups: tu-graz.lv.vt
Organization: Technische Universitaet Graz
Message-id: <o179gj$bin$1@news.tugraz.at>
User-agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:45.0) Gecko/20100101 Thunderbird/45.5.0
The expression like it was given in the hint does not work for me. My compiler says

error: cannot call member function 'z3::expr z3::expr::substitute(const expr_vector&, const expr_vector&)' without object

The function seems to be a member function, but if I use it like one as in

src_vector.substitute(dst_vector);

it doesnt work either. Am I the only one having this problem?