1 files changed, 0 insertions, 12 deletions
diff --git a/src/smt/env.h b/src/smt/env.h
index 25f8d0b71..f94d8efea 100644
--- a/src/smt/env.h
+++ b/src/smt/env.h
@@ -44,7 +44,6 @@ class UserContext;
 }  // namespace context
 
 namespace smt {
-class DumpManager;
 class PfManager;
 }
 
@@ -119,9 +118,6 @@ class Env
   /** Get a reference to the top-level substitution map */
   theory::TrustSubstitutionMap& getTopLevelSubstitutions();
 
-  /** Get a pointer to the underlying dump manager. */
-  smt::DumpManager* getDumpManager();
-
   /** Get the options object (const version only) owned by this Env. */
   const Options& getOptions() const;
 
@@ -146,12 +142,6 @@ class Env
   const Printer& getPrinter();
 
   /**
-   * Get the output stream that --dump=X should print to
-   * @return the output stream
-   */
-  std::ostream& getDumpOut();
-
-  /**
    * Check whether the output for the given output tag is enabled. Output tags
    * are enabled via the `output` option (or `-o` on the command line).
    */
@@ -284,8 +274,6 @@ class Env
   std::unique_ptr<theory::Evaluator> d_eval;
   /** The top level substitutions */
   std::unique_ptr<theory::TrustSubstitutionMap> d_topLevelSubs;
-  /** The dump manager */
-  std::unique_ptr<smt::DumpManager> d_dumpManager;
   /**
    * The logic we're in. This logic may be an extension of the logic set by the
    * user, which may be different from the user-provided logic due to the