mirror of
https://github.com/Z3Prover/z3
synced 2025-04-07 18:05:21 +00:00
Merge branch 'master' of https://github.com/z3prover/z3
This commit is contained in:
commit
ab43bfafe5
|
@ -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