1 files changed, 5 insertions, 2 deletions
diff --git a/src/main/interactive_shell.h b/src/main/interactive_shell.h
index 203dfb766..ac52a78c4 100644
--- a/src/main/interactive_shell.h
+++ b/src/main/interactive_shell.h
@@ -25,9 +25,12 @@
 namespace CVC4 {
 
 class Command;
-class ExprManager;
 class Options;
 
+namespace api {
+class Solver;
+}
+
 namespace parser {
   class Parser;
 }/* CVC4::parser namespace */
@@ -47,7 +50,7 @@ class CVC4_PUBLIC InteractiveShell
   static const unsigned s_historyLimit = 500;
 
 public:
- InteractiveShell(ExprManager& exprManager);
+ InteractiveShell(api::Solver* solver);
 
  /**
   * Close out the interactive session.