1 files changed, 11 insertions, 1 deletions
diff --git a/src/parser/parser.h b/src/parser/parser.h
index 52236294a..ffe33a980 100644
--- a/src/parser/parser.h
+++ b/src/parser/parser.h
@@ -134,6 +134,12 @@ class CVC4_PUBLIC Parser {
   size_t d_assertionLevel;
 
   /**
+   * Whether we're in global declarations mode (all definitions and
+   * declarations are global).
+   */
+  bool d_globalDeclarations;
+
+  /**
    * Maintains a list of reserved symbols at the assertion level that might
    * not occur in our symbol table.  This is necessary to e.g. support the
    * proper behavior of the :named annotation in SMT-LIBv2 when used under
@@ -561,10 +567,14 @@ public:
     }
   }
 
-  inline void reset() {
+  virtual void reset() {
     d_symtab->reset();
   }
 
+  void setGlobalDeclarations(bool flag) {
+    d_globalDeclarations = flag;
+  }
+
   /**
    * Set the current symbol table used by this parser.
    * From now on, this parser will perform its definitions and