From e63724a22d445a46662f1333fa12b1fdd89ab27c Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 29 Dec 2015 15:30:42 -0800
Subject: [PATCH] replace assert by SASSERT in case of unsupported proof rule

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/interp/iz3interp.cpp    | 1 -
 src/interp/iz3translate.cpp | 4 ++--
 2 files changed, 2 insertions(+), 3 deletions(-)

diff --git a/src/interp/iz3interp.cpp b/src/interp/iz3interp.cpp
index 58db2c3b5..87f782160 100755
--- a/src/interp/iz3interp.cpp
+++ b/src/interp/iz3interp.cpp
@@ -26,7 +26,6 @@
 #pragma warning(disable:4101)
 #endif
 
-#include <assert.h>
 #include <algorithm>
 #include <stdio.h>
 #include <fstream>
diff --git a/src/interp/iz3translate.cpp b/src/interp/iz3translate.cpp
index cc3fe70ac..0744ded49 100755
--- a/src/interp/iz3translate.cpp
+++ b/src/interp/iz3translate.cpp
@@ -2023,8 +2023,8 @@ public:
                 break;
             }
             default:
-                pfgoto(proof);
-                assert(0 && "translate_main: unsupported proof rule");
+                pfgoto(proof);                
+                SASSERT(0 && "translate_main: unsupported proof rule");
                 throw unsupported();
             }
         }