mirror of
https://github.com/Z3Prover/z3
synced 2025-04-10 03:07:07 +00:00
typo
This commit is contained in:
parent
ca81e803cb
commit
2df5a4e3f9
|
@ -30,7 +30,7 @@ void register_z3_replayer_cmds(z3_replayer & in);
|
|||
|
||||
void throw_invalid_reference() {
|
||||
TRACE("z3_replayer", tout << "invalid argument reference\n";);
|
||||
throw z3_replayer_exception("invalid argument reference1");
|
||||
throw z3_replayer_exception("invalid argument reference");
|
||||
}
|
||||
|
||||
struct z3_replayer::imp {
|
||||
|
|
Loading…
Reference in a new issue