more updates to inst gen: fixed partial instantiations, recognize duplicate defaults for uf

1 files changed, 4 insertions, 4 deletions

diff --git a/src/theory/model.cpp b/src/theory/model.cpp
index dad1b5fe6..3a3f706ac 100644
--- a/src/theory/model.cpp
+++ b/src/theory/model.cpp
@@ -317,15 +317,15 @@ bool TheoryModel::areDisequal( Node a, Node b ){
 //for debugging
 void TheoryModel::printRepresentativeDebug( const char* c, Node r ){
   if( r.isNull() ){
-    Debug( c ) << "null";
+    Trace( c ) << "null";
   }else if( r.getType().isBoolean() ){
     if( areEqual( r, d_true ) ){
-      Debug( c ) << "true";
+      Trace( c ) << "true";
     }else{
-      Debug( c ) << "false";
+      Trace( c ) << "false";
     }
   }else{
-    Debug( c ) << getRepresentative( r );
+    Trace( c ) << getRepresentative( r );
   }
 }