1 files changed, 2 insertions, 2 deletions
diff --git a/src/expr/expr_manager_template.h b/src/expr/expr_manager_template.h
index fdc1e1159..b762da3ea 100644
--- a/src/expr/expr_manager_template.h
+++ b/src/expr/expr_manager_template.h
@@ -42,7 +42,7 @@ namespace CVC4 {
 class Expr;
 class SmtEngine;
 class NodeManager;
-struct Options;
+class Options;
 class IntStat;
 class ExprManagerMapCollection;
 
@@ -124,7 +124,7 @@ public:
   ~ExprManager() throw();
 
   /** Get this node manager's options */
-  const Options* getOptions() const;
+  const Options& getOptions() const;
 
   /** Get the type for booleans */
   BooleanType booleanType() const;