From 4228332c346147daa83c0c4123c8781909a23a03 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Wed, 18 Jul 2012 17:37:41 +0000
Subject: removing an obsolete assertion in model-generation framework, per
 Andy's request

---
 src/theory/model.cpp | 1 -
 1 file changed, 1 deletion(-)

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

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