diff options
author | Clark Barrett <barrett@cs.nyu.edu> | 2012-11-10 20:15:24 +0000 |
---|---|---|
committer | Clark Barrett <barrett@cs.nyu.edu> | 2012-11-10 20:15:24 +0000 |
commit | 3544ad31b067fe6c54fcd34c058646852ef8d605 (patch) | |
tree | ec2be7e7cd277ebf3557cb2e3db535bea9bb6d13 /src/theory/model.cpp | |
parent | 8b5686a7dd0b559356e9e3bf76be93ad9c726085 (diff) |
Fixed missing \ in uflra/Makefile.ma
Fixed another model bug and added previously failing fuzz testcase
Diffstat (limited to 'src/theory/model.cpp')
-rw-r--r-- | src/theory/model.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/theory/model.cpp b/src/theory/model.cpp index e79c2c479..6363cfb27 100644 --- a/src/theory/model.cpp +++ b/src/theory/model.cpp @@ -365,8 +365,7 @@ bool TheoryEngineModelBuilder::isAssignable(TNode n) void TheoryEngineModelBuilder::checkTerms(TNode n, TheoryModel* tm, NodeSet& cache) { - NodeSet::iterator it = cache.find(n); - if (it != cache.end()) { + if (cache.find(n) != cache.end()) { return; } if (isAssignable(n)) { |