1 files changed, 4 insertions, 0 deletions
diff --git a/src/options/options.h b/src/options/options.h
index 474fe3a4b..1b61994c5 100644
--- a/src/options/options.h
+++ b/src/options/options.h
@@ -33,12 +33,16 @@
 
 namespace CVC4 {
 
+namespace api {
+class Solver;
+}
 namespace options {
   struct OptionsHolder;
   class OptionsHandler;
 }/* CVC4::options namespace */
 
 class CVC4_PUBLIC Options {
+  friend api::Solver;
   /** The struct that holds all option values. */
   options::OptionsHolder* d_holder;