1 files changed, 6 insertions, 35 deletions
diff --git a/src/util/language.h b/src/util/language.h
index 814f8dcd1..dbda6a315 100644
--- a/src/util/language.h
+++ b/src/util/language.h
@@ -31,7 +31,7 @@ namespace language {
 
 namespace input {
 
-enum Language {
+enum CVC4_PUBLIC Language {
   // SPECIAL "NON-LANGUAGE" LANGUAGES HAVE ENUM VALUE < 0
 
   /** Auto-detect the language */
@@ -58,6 +58,7 @@ enum Language {
   LANG_MAX
 };/* enum Language */
 
+inline std::ostream& operator<<(std::ostream& out, Language lang) CVC4_PUBLIC;
 inline std::ostream& operator<<(std::ostream& out, Language lang) {
   switch(lang) {
   case LANG_AUTO:
@@ -82,7 +83,7 @@ inline std::ostream& operator<<(std::ostream& out, Language lang) {
 
 namespace output {
 
-enum Language {
+enum CVC4_PUBLIC Language {
   // SPECIAL "NON-LANGUAGE" LANGUAGES HAVE ENUM VALUE < 0
 
   // COMMON INPUT AND OUTPUT LANGUAGES HAVE ENUM VALUES IN [0,9]
@@ -109,6 +110,7 @@ enum Language {
   LANG_MAX
 };/* enum Language */
 
+inline std::ostream& operator<<(std::ostream& out, Language lang) CVC4_PUBLIC;
 inline std::ostream& operator<<(std::ostream& out, Language lang) {
   switch(lang) {
   case LANG_SMTLIB:
@@ -138,39 +140,8 @@ typedef language::output::Language OutputLanguage;
 
 namespace language {
 
-inline InputLanguage toInputLanguage(OutputLanguage language) {
-  switch(language) {
-  case output::LANG_SMTLIB:
-  case output::LANG_SMTLIB_V2:
-  case output::LANG_CVC4:
-    // these entries directly correspond (by design)
-    return InputLanguage(int(language));
-
-  default: {
-    std::stringstream ss;
-    ss << "Cannot map output language `" << language
-       << "' to an input language.";
-    throw CVC4::Exception(ss.str());
-  }
-  }/* switch(language) */
-}/* toInputLanguage() */
-
-inline OutputLanguage toOutputLanguage(InputLanguage language) {
-  switch(language) {
-  case input::LANG_SMTLIB:
-  case input::LANG_SMTLIB_V2:
-  case input::LANG_CVC4:
-    // these entries directly correspond (by design)
-    return OutputLanguage(int(language));
-
-  default: {
-    std::stringstream ss;
-    ss << "Cannot map input language `" << language
-       << "' to an output language.";
-    throw CVC4::Exception(ss.str());
-  }
-  }/* switch(language) */
-}/* toOutputLanguage() */
+InputLanguage toInputLanguage(OutputLanguage language) CVC4_PUBLIC;
+OutputLanguage toOutputLanguage(InputLanguage language) CVC4_PUBLIC;
 
 }/* CVC4::language namespace */
 }/* CVC4 namespace */