From 0f4afc4536b09d4474d4e0b7b38e910233965005 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 12 Nov 2017 13:45:27 -0800 Subject: [PATCH] fix bug in contains function Signed-off-by: Nikolaj Bjorner --- 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 417a86458..558151b61 100644 --- a/src/api/c++/z3++.h +++ b/src/api/c++/z3++.h @@ -1519,7 +1519,7 @@ namespace z3 { return *this; } bool contains(T const& x) const { - for (auto y : *this) if (x == y) return true; + for (auto y : *this) if (eq(x, y)) return true; return false; }