mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 10:25:18 +00:00
fixes to #1155 and partial introduction of SMTLIB 2.6 datatype format
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
a0a8bc2a62
commit
7fd0777cf1
|
@ -917,13 +917,6 @@ namespace smt2 {
|
|||
next();
|
||||
}
|
||||
|
||||
// (declare-datatypes ( sort_dec n+1 ) ( datatype_dec n+1 ) )
|
||||
|
||||
void parse_declare_datatypes_smt2() {
|
||||
|
||||
}
|
||||
|
||||
|
||||
// ( declare-datatype symbol datatype_dec)
|
||||
void parse_declare_datatype() {
|
||||
SASSERT(curr_is_identifier());
|
||||
|
|
Loading…
Reference in a new issue