diff options
Diffstat (limited to 'src/util/language.h')
-rw-r--r-- | src/util/language.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/util/language.h b/src/util/language.h index abde0b509..c865c2615 100644 --- a/src/util/language.h +++ b/src/util/language.h @@ -60,6 +60,8 @@ enum CVC4_PUBLIC Language { // START INPUT-ONLY LANGUAGES AT ENUM VALUE 10 // THESE ARE IN PRINCIPLE NOT POSSIBLE OUTPUT LANGUAGES + /** The SyGuS input language */ + LANG_SYGUS, /** LANG_MAX is > any valid InputLanguage id */ LANG_MAX @@ -89,6 +91,9 @@ inline std::ostream& operator<<(std::ostream& out, Language lang) { case LANG_Z3STR: out << "LANG_Z3STR"; break; + case LANG_SYGUS: + out << "LANG_SYGUS"; + break; default: out << "undefined_input_language"; } |