1 files changed, 9 insertions, 0 deletions
diff --git a/src/parser/parser.cpp b/src/parser/parser.cpp
index ef23d3883..b9e2d576e 100644
--- a/src/parser/parser.cpp
+++ b/src/parser/parser.cpp
@@ -132,5 +132,14 @@ Parser* Parser::getNewParser(ExprManager* em, InputLanguage lang,
   return getNewParser(em, lang, &input, "", false);
 }
 
+void Parser::disableChecks() {
+  d_antlrParser->disableChecks();
+}
+
+void Parser::enableChecks() {
+  d_antlrParser->enableChecks();
+}
+
+
 }/* CVC4::parser namespace */
 }/* CVC4 namespace */