From f8228ff50ee90fad6c9f33f22eea54bb4a82e52e Mon Sep 17 00:00:00 2001
From: Zachary Wimer <zwimer@users.noreply.github.com>
Date: Mon, 19 Apr 2021 02:24:12 -0700
Subject: [PATCH] [c++ api] add const (#5195)

---
 src/api/c++/z3++.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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();