From 6b38edf102a84e9b6da62f8700107276a9791502 Mon Sep 17 00:00:00 2001
From: Moritz Kiefer <moritz.kiefer@purelyfunctional.org>
Date: Tue, 3 Apr 2018 11:57:31 +0200
Subject: [PATCH] Fix buffering issue in print_success for declare-datatype
---
src/parsers/smt2/smt2parser.cpp | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/src/parsers/smt2/smt2parser.cpp b/src/parsers/smt2/smt2parser.cpp
index 9265312d4..e72b9ad79 100644
--- a/src/parsers/smt2/smt2parser.cpp
+++ b/src/parsers/smt2/smt2parser.cpp
@@ -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();
}