From 6f0155ce94a6124caedad154f00b8389351f7f1d Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 20 May 2014 10:14:40 -0700
Subject: [PATCH] avoid compiler warning

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/model/model.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/model/model.cpp b/src/model/model.cpp
index f87992d05..a6b9695b4 100644
--- a/src/model/model.cpp
+++ b/src/model/model.cpp
@@ -134,6 +134,7 @@ bool model::eval(expr * e, expr_ref & result, bool model_completion) {
         return true;
     }
     catch (model_evaluator_exception & ex) {
+        (void)ex;
         TRACE("model_evaluator", tout << ex.msg() << "\n";);
         return false;
     }