1 files changed, 7 insertions, 0 deletions
diff --git a/src/parser/antlr_parser.h b/src/parser/antlr_parser.h
index 8f1f3fa1d..e68405eb9 100644
--- a/src/parser/antlr_parser.h
+++ b/src/parser/antlr_parser.h
@@ -65,6 +65,13 @@ public:
   void setExpressionManager(ExprManager* expr_manager);
 
   /**
+   * Sets the logic for the current benchmark. Declares any logic symbols.
+   *
+   * @param name the name of the logic (e.g., QF_UF, AUFLIA)
+   */
+  void setLogic(const std::string& name);
+
+  /**
    * Parse a command.
    * @return a command
    */