mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 10:25:18 +00:00
Fix buffering issue in print_success for declare-datatype
This commit is contained in:
parent
21a3b9c8e2
commit
6b38edf102
|
@ -949,8 +949,9 @@ namespace smt2 {
|
|||
check_duplicate(d, line, pos);
|
||||
|
||||
d->commit(pm());
|
||||
check_rparen_next("invalid end of datatype declaration, ')' expected");
|
||||
check_rparen("invalid end of datatype declaration, ')' expected");
|
||||
m_ctx.print_success();
|
||||
next();
|
||||
}
|
||||
|
||||
|
||||
|
|
Loading…
Reference in a new issue