1 files changed, 0 insertions, 95 deletions
diff --git a/src/options/set_language.h b/src/options/set_language.h
deleted file mode 100644
index ae59a18f5..000000000
--- a/src/options/set_language.h
+++ /dev/null
@@ -1,95 +0,0 @@
-/******************************************************************************
- * Top contributors (to current version):
- *   Morgan Deters, Tim King, Mathias Preiner
- *
- * This file is part of the cvc5 project.
- *
- * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
- * in the top-level source directory and their institutional affiliations.
- * All rights reserved.  See the file COPYING in the top-level source
- * directory for licensing information.
- * ****************************************************************************
- *
- * Definition of input and output languages.
- */
-
-#include "cvc5_public.h"
-
-#ifndef CVC5__OPTIONS__SET_LANGUAGE_H
-#define CVC5__OPTIONS__SET_LANGUAGE_H
-
-#include <iostream>
-
-#include "cvc5_export.h"
-#include "options/language.h"
-
-namespace cvc5 {
-namespace language {
-
-/**
- * IOStream manipulator to set the output language for Exprs.
- */
-class CVC5_EXPORT SetLanguage
-{
- public:
-  /**
-   * Set a language on the output stream for the current stack scope.
-   * This makes sure the old language is reset on the stream after
-   * normal OR exceptional exit from the scope, using the RAII C++
-   * idiom.
-   */
-  class Scope {
-   public:
-    Scope(std::ostream& out, Language language);
-    ~Scope();
-   private:
-    std::ostream& d_out;
-    Language d_oldLanguage;
-  };/* class SetLanguage::Scope */
-
-  /**
-   * Construct a ExprSetLanguage with the given setting.
-   */
-  SetLanguage(Language l);
-
-  void applyLanguage(std::ostream& out);
-
-  static Language getLanguage(std::ostream& out);
-
-  static void setLanguage(std::ostream& out, Language l);
-
- private:
-
-  /**
-   * The allocated index in ios_base for our depth setting.
-   */
-  static const int s_iosIndex;
-
-  /**
-   * The default language to use, for ostreams that haven't yet had a
-   * setlanguage() applied to them and where the current Options
-   * information isn't available.
-   */
-  static const Language s_defaultOutputLanguage = Language::LANG_AUTO;
-
-  /**
-   * When this manipulator is used, the setting is stored here.
-   */
-  Language d_language;
-}; /* class SetLanguage */
-
-/**
- * Sets the output language when pretty-printing a Expr to an ostream.
- * This is used like this:
- *
- *   // let out be an ostream, e an Expr
- *   out << Expr::setlanguage(LANG_SMTLIB_V2_6) << e << endl;
- *
- * The setting stays permanently (until set again) with the stream.
- */
-std::ostream& operator<<(std::ostream& out, SetLanguage l) CVC5_EXPORT;
-
-}  // namespace language
-}  // namespace cvc5
-
-#endif /* CVC5__OPTIONS__SET_LANGUAGE_H */