some bugfixes that come as a result of debugging some CASCADE/C stuff..

(this commit was certified error- and warning-free by the test-and-commit script.)

1 files changed, 0 insertions, 10 deletions

diff --git a/src/options/options.h b/src/options/options.h
index 4f7e2a692..3b7900878 100644
--- a/src/options/options.h
+++ b/src/options/options.h
@@ -126,16 +126,6 @@ public:
    */
   std::vector<std::string> parseOptions(int argc, char* argv[]) throw(OptionException);
 
-  /**
-   * Set the output language based on the given string.
-   */
-  void setOutputLanguage(const char* str) throw(OptionException);
-
-  /**
-   * Set the input language based on the given string.
-   */
-  void setInputLanguage(const char* str) throw(OptionException);
-
 };/* class Options */
 
 }/* CVC4 namespace */