diff options
Diffstat (limited to 'src/parser/smt/smt_parser.g')
-rw-r--r-- | src/parser/smt/smt_parser.g | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/parser/smt/smt_parser.g b/src/parser/smt/smt_parser.g index 56e1f9f17..88216336d 100644 --- a/src/parser/smt/smt_parser.g +++ b/src/parser/smt/smt_parser.g @@ -34,6 +34,7 @@ options { */ parseExpr returns [CVC4::Expr expr] : expr = annotatedFormula + | EOF ; /** |