1 files changed, 3 insertions, 0 deletions
diff --git a/src/parser/parser.h b/src/parser/parser.h
index f22fc3789..8c18055a7 100644
--- a/src/parser/parser.h
+++ b/src/parser/parser.h
@@ -269,6 +269,9 @@ public:
   /** Get the associated <code>ExprManager</code>. */
   ExprManager* getExprManager() const;
 
+  /** Get the associated solver. */
+  api::Solver* getSolver() const;
+
   /** Get the associated input. */
   inline Input* getInput() const {
     return d_input;