C++ api bvredand seems typo

[CoriolisSP]

z3++.h file 1859 line
expr bvredand (expr const & a )
{
assert(a.is_bv());
Z3_ast r = Z3_mk_bvredor(a.ctx(), a); //this line should be "Z3_mk_bvredand(a.ctx(), a); "?
a.check_error();
return expr(a.ctx(), r);
}