diff options
author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-03-13 19:33:11 -0400 |
---|---|---|
committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-03-20 17:18:58 -0400 |
commit | ac4a85a1682dd7e59d9ecc23ac7f3cd5e1716e4f (patch) | |
tree | 2dab82394401d9c09d751d752381a7a87ea4e6b4 /src/theory/theory_model.cpp | |
parent | 2074c0f5133d5958996279427710aee208918853 (diff) |
fix a sharing issues with sets
Diffstat (limited to 'src/theory/theory_model.cpp')
-rw-r--r-- | src/theory/theory_model.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/theory_model.cpp b/src/theory/theory_model.cpp index 4f753187f..8ec25dffd 100644 --- a/src/theory/theory_model.cpp +++ b/src/theory/theory_model.cpp @@ -779,7 +779,7 @@ void TheoryEngineModelBuilder::buildModel(Model* m, bool fullModel) << "n: " << n << endl << "getValue(n): " << tm->getValue(n) << endl << "rep: " << rep << endl; - Assert(tm->getValue(*eqc_i) == rep); + Assert(tm->getValue(*eqc_i) == rep, "run with -d check-model::rep-checking for details"); } } } |