mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
replace assert by SASSERT in case of unsupported proof rule
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
2f08040403
commit
e63724a22d
|
@ -26,7 +26,6 @@
|
|||
#pragma warning(disable:4101)
|
||||
#endif
|
||||
|
||||
#include <assert.h>
|
||||
#include <algorithm>
|
||||
#include <stdio.h>
|
||||
#include <fstream>
|
||||
|
|
|
@ -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();
|
||||
}
|
||||
}
|
||||
|
|
Loading…
Reference in a new issue