fix a compiler warning in models

diff --git a/src/theory/model.cpp b/src/theory/model.cpp
index 63772cc1f7e555ca75ed2f5314f913153cf33050..33f482f8e11d181aec2150463465a888b261cc21 100644 (file)
--- a/src/theory/model.cpp
+++ b/src/theory/model.cpp
@@ -597,7 +597,7 @@ void TheoryEngineModelBuilder::buildModel(Model* m, bool fullModel)
         }
       }
       Trace("model-builder") << "  Assign phase, working on type: " << t << endl;
-      bool assignable, evaluable;
+      bool assignable, evaluable CVC4_UNUSED;
       for (i = noRepSet.begin(); i != noRepSet.end(); ) {
         i2 = i;
         ++i;