diff options
Diffstat (limited to 'src/theory/strings/infer_proof_cons.cpp')
-rw-r--r-- | src/theory/strings/infer_proof_cons.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/strings/infer_proof_cons.cpp b/src/theory/strings/infer_proof_cons.cpp index 3eaf2c17d..b10bc47be 100644 --- a/src/theory/strings/infer_proof_cons.cpp +++ b/src/theory/strings/infer_proof_cons.cpp @@ -42,7 +42,7 @@ void InferProofCons::notifyFact(const InferInfo& ii) { Trace("strings-ipc-debug") << "InferProofCons::notifyFact: " << ii << std::endl; - if (d_lazyFactMap.find(ii.d_conc)!=d_lazyFactMap.end()) + if (d_lazyFactMap.find(ii.d_conc) != d_lazyFactMap.end()) { Trace("strings-ipc-debug") << "...duplicate!" << std::endl; return; |