From ac4a85a1682dd7e59d9ecc23ac7f3cd5e1716e4f Mon Sep 17 00:00:00 2001
From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Thu, 13 Mar 2014 19:33:11 -0400
Subject: fix a sharing issues with sets

---
 src/theory/theory_model.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/theory/theory_model.cpp')

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");
       }
     }
   }
-- 
cgit v1.2.3