diff options
Diffstat (limited to 'src/theory/rep_set.cpp')
| -rw-r--r-- | src/theory/rep_set.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/theory/rep_set.cpp b/src/theory/rep_set.cpp index db0524034..5580dc3d7 100644 --- a/src/theory/rep_set.cpp +++ b/src/theory/rep_set.cpp @@ -26,6 +26,7 @@ void RepSet::clear(){ d_type_reps.clear(); d_type_complete.clear(); d_tmap.clear(); + d_values_to_terms.clear(); } bool RepSet::hasRep( TypeNode tn, Node n ) { |