diff options
| -rw-r--r-- | src/parser/smt2/Smt2.g | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/parser/smt2/Smt2.g b/src/parser/smt2/Smt2.g index 4bb253603..ea0c3b714 100644 --- a/src/parser/smt2/Smt2.g +++ b/src/parser/smt2/Smt2.g @@ -1265,6 +1265,10 @@ datatypesDef[bool isCo, RPAREN_TOK )+ { + if (dts.size() != dnames.size()) + { + PARSER_STATE->parseError("Wrong number of datatypes provided."); + } PARSER_STATE->popScope(); cmd->reset(new DatatypeDeclarationCommand( api::sortVectorToTypes( |