1 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/model.h b/src/theory/model.h
index 4d6035ae5..278f85dfe 100644
--- a/src/theory/model.h
+++ b/src/theory/model.h
@@ -98,7 +98,7 @@ public:
   /** get existing domain value, with possible exclusions */
   Node getDomainValue( TypeNode tn, std::vector< Node >& exclude );
   /** get new domain value */
-  Node getNewDomainValue( TypeNode tn, bool mkConst = false );
+  Node getNewDomainValue( TypeNode tn );
 public:
   /** assert equality */
   void assertEquality( Node a, Node b, bool polarity );
@@ -162,4 +162,4 @@ public:
 }
 }
 
-#endif
-\ No newline at end of file
+#endif