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