diff options
Diffstat (limited to 'src/parser/tptp/tptp.cpp')
-rw-r--r-- | src/parser/tptp/tptp.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/parser/tptp/tptp.cpp b/src/parser/tptp/tptp.cpp index 89150142b..1e40ea63f 100644 --- a/src/parser/tptp/tptp.cpp +++ b/src/parser/tptp/tptp.cpp @@ -89,7 +89,7 @@ void Tptp::addTheory(Theory theory) { /* The include are managed in the lexer but called in the parser */ -// Inspired by http://www.antlr.org/api/C/interop.html +// Inspired by http://www.antlr3.org/api/C/interop.html bool newInputStream(std::string fileName, pANTLR3_LEXER lexer){ Debug("parser") << "Including " << fileName << std::endl; |