diff options
| author | Julian Büning <julian.buening@rwth-aachen.de> | 2019-01-09 13:49:00 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-01-15 20:00:03 +0000 |
| commit | 44325801ed4840cb1c334b9810f16ea8d691e986 (patch) | |
| tree | 6452b120d5bbbbb0f6fa312bbac31efe8e6e0c10 /lib | |
| parent | b845877a9d883636751d35ee96f2d4c14d57d5d6 (diff) | |
| download | klee-44325801ed4840cb1c334b9810f16ea8d691e986.tar.gz | |
make AssignmentLessThan::operator() const-invocable
Diffstat (limited to 'lib')
| -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; } }; |