From b56837e09b78179c0810a0cca46e83f34097c097 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 20 Jul 2016 13:11:22 -0700
Subject: [PATCH] fix build break: throw only on invalid model

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/cmd_context/cmd_context.cpp | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/cmd_context/cmd_context.cpp b/src/cmd_context/cmd_context.cpp
index 2811153c0..153d02e42 100644
--- a/src/cmd_context/cmd_context.cpp
+++ b/src/cmd_context/cmd_context.cpp
@@ -1658,7 +1658,9 @@ void cmd_context::validate_model() {
                 invalid_model = true;
             }
         }
-        throw cmd_exception("an invalid model was generated");
+        if (invalid_model) {
+            throw cmd_exception("an invalid model was generated");
+        }
     }
 }