diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-01-22 12:29:01 -0500 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-01-22 12:29:01 -0500 |
commit | f4a73036681300892eba4ac838d86cfad8b414c6 (patch) | |
tree | 44459eaac2f09bf8e28f6f7d222258cb78eac45e /src | |
parent | 459b300b664e4b3698439b918ec66f5fa7eb658d (diff) | |
parent | ff8ead3db3e5fa90839c82cc38215df3c3ef73c1 (diff) |
Merge branch '1.0.x'
Diffstat (limited to 'src')
-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; |