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