diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2013-05-16 16:54:20 -0500 |
|---|---|---|
| committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2013-05-16 16:54:25 -0500 |
| commit | 0ff21bf1d615500ca135f36f5ec8c57c1fd47438 (patch) | |
| tree | e9b463a68b2df940117b06206af21fa037d87a1f /src/theory | |
| parent | fb16f84410cac73447485a3e6d8ab2dee3cc253a (diff) | |
Fix minor bug in full_model_check.cpp
Diffstat (limited to 'src/theory')
| -rwxr-xr-x | src/theory/quantifiers/full_model_check.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/quantifiers/full_model_check.cpp b/src/theory/quantifiers/full_model_check.cpp index 445f0d6c0..c2a3f895b 100755 --- a/src/theory/quantifiers/full_model_check.cpp +++ b/src/theory/quantifiers/full_model_check.cpp @@ -163,7 +163,7 @@ void Def::simplify(FullModelChecker * m) { d_et.reset();
for (unsigned i=0; i<d_status.size(); i++) {
if( d_status[i]!=status_redundant ){
- addEntry(m, d_cond[i], d_value[i]);
+ addEntry(m, cond[i], value[i]);
}
}
d_status.clear();
|