mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 10:25:18 +00:00
issue #393 -- removed debugging assert
This commit is contained in:
parent
758c9cd7a0
commit
e6e6a6c5b3
|
@ -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();
|
||||
}
|
||||
}
|
||||
|
|
Loading…
Reference in a new issue