diff options
Diffstat (limited to 'src/theory/model.cpp')
-rw-r--r-- | src/theory/model.cpp | 7 |
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(); |