From efedf8ef67f1b52b15aab101156085b165de7a6f Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Fri, 16 Nov 2012 17:52:37 +0000
Subject: [PATCH] fix a compiler warning in models

---
 src/theory/model.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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;
-- 
2.30.2