From: Morgan Deters <mdeters@gmail.com>
Date: Fri, 16 Nov 2012 17:52:37 +0000 (+0000)
Subject: fix a compiler warning in models
X-Git-Tag: cvc5-1.0.0~7585
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=efedf8ef67f1b52b15aab101156085b165de7a6f;p=cvc5.git

fix a compiler warning in models
---

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;