summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/parser/tptp/tptp.cpp2
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;
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback