removing an obsolete assertion in model-generation framework, per Andy's request

diff --git a/src/theory/model.cpp b/src/theory/model.cpp
index 052051e83e401d0bd4cfab1aa667b5ce9c8fc277..19169efa36de2a68343a7b836e744971b49d81c2 100644 (file)
--- a/src/theory/model.cpp
+++ b/src/theory/model.cpp
@@ -331,7 +331,6 @@ DefaultModel::DefaultModel( context::Context* c, std::string name ) : TheoryMode
 }\r
 \r
 Node DefaultModel::getInterpretedValue( TNode n ){\r
-  Assert( !d_equalityEngine.hasTerm( n ) );\r
   TypeNode type = n.getType();\r
   if( type.isFunction() || type.isPredicate() ){\r
     //DO_THIS?\r