diff options
Diffstat (limited to 'src/theory/model.cpp')
-rw-r--r-- | src/theory/model.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/theory/model.cpp b/src/theory/model.cpp index c4fc0310c..42654b74c 100644 --- a/src/theory/model.cpp +++ b/src/theory/model.cpp @@ -432,6 +432,7 @@ Node DefaultModel::getInterpretedValue( TNode n ){ n = d_equalityEngine.getRepresentative( n ); if( d_reps.find( n )==d_reps.end() ){ d_reps[n] = ret; + d_rep_set.add( ret ); } //TODO: make sure that this doesn't affect the representatives in the equality engine // in other words, we need to be sure that all representatives of the equality engine |