1 files changed, 2 insertions, 5 deletions
diff --git a/src/theory/model.cpp b/src/theory/model.cpp
index d4b71c9e2..a4cbd720b 100644
--- a/src/theory/model.cpp
+++ b/src/theory/model.cpp
@@ -77,11 +77,6 @@ Cardinality TheoryModel::getCardinality( Type t ){
   }
 }
 
-void TheoryModel::toStream( std::ostream& out )
-{
-  out << this;
-}
-
 Node TheoryModel::getModelValue( TNode n )
 {
   if( n.isConst() ) {
@@ -550,6 +545,7 @@ void TheoryEngineModelBuilder::buildModel(Model* m, bool fullModel)
     }
   } while (changed);
 
+#ifdef CVC4_ASSERTIONS
   if (fullModel) {
     // Assert that all representatives have been converted to constants
     for (it = typeRepSet.begin(); it != typeRepSet.end(); ++it) {
@@ -557,6 +553,7 @@ void TheoryEngineModelBuilder::buildModel(Model* m, bool fullModel)
       Assert(repSet.empty());
     }
   }
+#endif /* CVC4_ASSERTIONS */
 
   Trace("model-builder") << "Copy representatives to model..." << std::endl;
   tm->d_reps.clear();