diff options
| -rw-r--r-- | lib/Solver/CexCachingSolver.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Solver/CexCachingSolver.cpp b/lib/Solver/CexCachingSolver.cpp index f4ee009c..7c977a57 100644 --- a/lib/Solver/CexCachingSolver.cpp +++ b/lib/Solver/CexCachingSolver.cpp @@ -51,7 +51,7 @@ namespace { typedef std::set< ref<Expr> > KeyType; struct AssignmentLessThan { - bool operator()(const Assignment *a, const Assignment *b) { + bool operator()(const Assignment *a, const Assignment *b) const { return a->bindings < b->bindings; } }; |