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