about summary refs log tree commit diff homepage
path: root/lib/Solver
diff options
context:
space:
mode:
authorJulian Büning <julian.buening@rwth-aachen.de>2019-01-09 13:49:00 +0100
committerCristian Cadar <c.cadar@imperial.ac.uk>2019-01-15 20:00:03 +0000
commit44325801ed4840cb1c334b9810f16ea8d691e986 (patch)
tree6452b120d5bbbbb0f6fa312bbac31efe8e6e0c10 /lib/Solver
parentb845877a9d883636751d35ee96f2d4c14d57d5d6 (diff)
downloadklee-44325801ed4840cb1c334b9810f16ea8d691e986.tar.gz
make AssignmentLessThan::operator() const-invocable
Diffstat (limited to 'lib/Solver')
-rw-r--r--lib/Solver/CexCachingSolver.cpp2
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;
   }
 };