diff --git a/src/api/c++/z3++.h b/src/api/c++/z3++.h
index 99a9ce137..5386c4fe6 100644
--- a/src/api/c++/z3++.h
+++ b/src/api/c++/z3++.h
@@ -1297,7 +1297,7 @@ namespace z3 {
             check_error();
             return expr(ctx(), r);
         }
-        expr contains(expr const& s) {
+        expr contains(expr const& s) const {
             check_context(*this, s);
             Z3_ast r = Z3_mk_seq_contains(ctx(), *this, s);
             check_error();