1 files changed, 4 insertions, 2 deletions
diff --git a/src/parser/smt/smt_input.cpp b/src/parser/smt/smt_input.cpp
index c19eca080..42843bac2 100644
--- a/src/parser/smt/smt_input.cpp
+++ b/src/parser/smt/smt_input.cpp
@@ -59,11 +59,13 @@ SmtInput::~SmtInput() {
   d_pSmtParser->free(d_pSmtParser);
 }
 
-Command* SmtInput::parseCommand() throw (ParserException) {
+Command* SmtInput::parseCommand()
+  throw (ParserException, AssertionException) {
   return d_pSmtParser->parseCommand(d_pSmtParser);
 }
 
-Expr SmtInput::parseExpr() throw (ParserException) {
+Expr SmtInput::parseExpr()
+  throw (ParserException, AssertionException) {
   return d_pSmtParser->parseExpr(d_pSmtParser);
 }