1 files changed, 6 insertions, 0 deletions
diff --git a/src/parser/parser.h b/src/parser/parser.h
index bc4fd6018..170e1af31 100644
--- a/src/parser/parser.h
+++ b/src/parser/parser.h
@@ -84,6 +84,12 @@ public:
    */
   bool done() const;
 
+  /** Enable semantic checks during parsing. */
+  void enableChecks();
+
+  /** Disable semantic checks during parsing. Disabling checks may lead to crashes on bad inputs. */
+  void disableChecks();
+
 private:
 
   /**