1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/model.cpp b/src/theory/model.cpp
index 63772cc1f..33f482f8e 100644
--- 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;