diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-01-22 12:28:45 -0500 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-01-22 12:28:45 -0500 |
| commit | ff8ead3db3e5fa90839c82cc38215df3c3ef73c1 (patch) | |
| tree | 93341541ec4bfa44b9c4ff22c362b11b532d2120 /src/parser/tptp/tptp.cpp | |
| parent | cc8532543332bda3d0630f0b0816a131d49e57eb (diff) | |
update ANTLR URLs (antlr.org -> antlr3.org)
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; |