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