projects
/
cvc5.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
a90b9e2
)
parser: Improve error message for unrecognized input file format. (#3285)
author
Aina Niemetz
<aina.niemetz@gmail.com>
Mon, 16 Sep 2019 15:53:34 +0000
(08:53 -0700)
committer
Andrew Reynolds
<andrew.j.reynolds@gmail.com>
Mon, 16 Sep 2019 15:53:34 +0000
(10:53 -0500)
src/parser/antlr_input.cpp
patch
|
blob
|
history
diff --git
a/src/parser/antlr_input.cpp
b/src/parser/antlr_input.cpp
index 77efff951c12114c868fd9d9034f030564e838c3..3157ab6e5aa0a241a579063f2cbc2c6a0bdd3ef9 100644
(file)
--- a/
src/parser/antlr_input.cpp
+++ b/
src/parser/antlr_input.cpp
@@
-262,8
+262,7
@@
AntlrInput* AntlrInput::newInput(InputLanguage lang, AntlrInputStream& inputStre
else
{
std::stringstream ss;
- ss << "internal error: unhandled language " << lang
- << " in AntlrInput::newInput";
+ ss << "unable to detect input file format, try --lang ";
throw InputStreamException(ss.str());
}
}