diff options
Diffstat (limited to 'src/util/language.cpp')
| -rw-r--r-- | src/util/language.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/util/language.cpp b/src/util/language.cpp index c5c9828df..8a1ab26af 100644 --- a/src/util/language.cpp +++ b/src/util/language.cpp @@ -110,7 +110,7 @@ InputLanguage toInputLanguage(std::string language) { return input::LANG_AUTO; } - throw OptionException(std::string("unknown input language " + language + "'")); + throw OptionException(std::string("unknown input language `" + language + "'")); }/* toInputLanguage() */ }/* CVC4::language namespace */ |