diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2020-05-15 10:11:16 -0500 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2020-05-15 10:11:16 -0500 |
| commit | faa7b83c6665eb7e7110eaf807453315b34c4768 (patch) | |
| tree | bb63c4fc76074140908d02627ab3f2c7ff48c31b /src/theory/strings/infer_proof_cons.cpp | |
| parent | 929610135bfdce0aca858821e0862759f45386cd (diff) | |
Format
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; |