From e6e6a6c5b3e1a2c397effa9b27df4ffcb9e2bacb Mon Sep 17 00:00:00 2001 From: Ken McMillan Date: Mon, 4 Jan 2016 12:53:46 -0800 Subject: [PATCH] issue #393 -- removed debugging assert --- src/interp/iz3translate.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/interp/iz3translate.cpp b/src/interp/iz3translate.cpp index 0744ded49..ebb5e00c8 100755 --- a/src/interp/iz3translate.cpp +++ b/src/interp/iz3translate.cpp @@ -2023,8 +2023,8 @@ public: break; } default: - pfgoto(proof); - SASSERT(0 && "translate_main: unsupported proof rule"); + // pfgoto(proof); + // SASSERT(0 && "translate_main: unsupported proof rule"); throw unsupported(); } }