Allow disabling include-file feature

1 files changed, 10 insertions, 0 deletions

diff --git a/src/parser/parser_builder.h b/src/parser/parser_builder.h
index 607547beb..9779bf37b 100644
--- a/src/parser/parser_builder.h
+++ b/src/parser/parser_builder.h
@@ -71,6 +71,9 @@ class CVC4_PUBLIC ParserBuilder {
   /** Should we parse in strict mode? */
   bool d_strictMode;
 
+  /** Should we allow include-file commands? */
+  bool d_canIncludeFile;
+
   /** Should we memory-map a file input? */
   bool d_mmap;
 
@@ -149,6 +152,13 @@ public:
    */
   ParserBuilder& withStrictMode(bool flag = true);
 
+  /**
+   * Should the include-file commands be enabled?
+   *
+   * (Default: yes)
+   */
+  ParserBuilder& withIncludeFile(bool flag = true);
+
   /** Set the parser to use the given stream for its input. */
   ParserBuilder& withStreamInput(std::istream& input);