1 files changed, 5 insertions, 1 deletions
diff --git a/src/api/cvc4cpp.h b/src/api/cvc4cpp.h
index 5223c9de6..91db4dd58 100644
--- a/src/api/cvc4cpp.h
+++ b/src/api/cvc4cpp.h
@@ -2053,7 +2053,7 @@ class CVC4_PUBLIC Solver
 
   /**
    * Constructor.
-   * @param opts a pointer to a solver options object (for parser only)
+   * @param opts an optional pointer to a solver options object
    * @return the Solver
    */
   Solver(Options* opts = nullptr);
@@ -3263,6 +3263,10 @@ class CVC4_PUBLIC Solver
   // to the new API. !!!
   SmtEngine* getSmtEngine(void) const;
 
+  // !!! This is only temporarily available until options are refactored at
+  // the driver level. !!!
+  Options& getOptions(void);
+
  private:
   /* Helper to convert a vector of internal types to sorts. */
   std::vector<Type> sortVectorToTypes(const std::vector<Sort>& vector) const;