diff options
author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2012-06-14 23:49:22 +0000 |
---|---|---|
committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2012-06-14 23:49:22 +0000 |
commit | 1302e3fb1ffdbed229112106932488e3fff6810c (patch) | |
tree | dd6d407e7567eb84ebfe8acc3c5f1e57e1bbfaf8 /src/decision | |
parent | 761bb503aa475fae1748afd6f583dd9af772f1cd (diff) |
WIP
Diffstat (limited to 'src/decision')
-rw-r--r-- | src/decision/justification_heuristic.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/decision/justification_heuristic.h b/src/decision/justification_heuristic.h index b3cac0d8c..6c470e6df 100644 --- a/src/decision/justification_heuristic.h +++ b/src/decision/justification_heuristic.h @@ -153,9 +153,9 @@ public: // Save mapping between ite skolems and ite assertions for(IteSkolemMap::iterator i = iteSkolemMap.begin(); i != iteSkolemMap.end(); ++i) { - Assert(i->second >= assertionsEnd && i->second < assertions.size()); Debug("jh-ite") << " jh-ite: " << (i->first) << " maps to " << assertions[(i->second)] << std::endl; + Assert(i->second >= assertionsEnd && i->second < assertions.size()); d_iteAssertions[i->first] = assertions[i->second]; } } |