mirror of
https://github.com/Z3Prover/z3
synced 2025-04-07 18:05:21 +00:00
remove unreferenced label
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
183ee7e37d
commit
c7591e3c99
|
@ -241,7 +241,6 @@ public:
|
|||
return;
|
||||
}
|
||||
case l_undef:
|
||||
undef_case:
|
||||
if (m_ctx->canceled()) {
|
||||
throw tactic_exception(Z3_CANCELED_MSG);
|
||||
}
|
||||
|
|
Loading…
Reference in a new issue