diff options
-rw-r--r-- | COPYING | 2 | ||||
-rw-r--r-- | config/antlr.m4 | 4 | ||||
-rwxr-xr-x | contrib/get-antlr-3.4 | 4 | ||||
-rw-r--r-- | src/parser/tptp/tptp.cpp | 2 |
4 files changed, 6 insertions, 6 deletions
@@ -199,7 +199,7 @@ http://www.boost.org/LICENSE_1_0.txt and reprinted below: DEALINGS IN THE SOFTWARE. CVC4 incorporates code from ANTLR3, excluded from the above copyright. -See http://www.antlr.org/, and the files src/parser/bounded_token_buffer.h, +See http://www.antlr3.org/, and the files src/parser/bounded_token_buffer.h, src/parser/bounded_token_buffer.cpp, and src/parser/antlr_input_imports.cpp. Their copyright: diff --git a/config/antlr.m4 b/config/antlr.m4 index 15b819244..955e1bb2a 100644 --- a/config/antlr.m4 +++ b/config/antlr.m4 @@ -23,7 +23,7 @@ AC_DEFUN([AC_PROG_ANTLR], [ if test "x$ANTLR" = "x"; then AC_MSG_WARN( [No usable antlr3 script found. Make sure that the parser code has -been generated already. To obtain ANTLR see <http://www.antlr.org/>.] +been generated already. To obtain ANTLR see <http://www.antlr3.org/>.] ) ANTLR_VERSION= else @@ -84,7 +84,7 @@ AC_DEFUN([AC_LIB_ANTLR],[ ], [ AC_MSG_RESULT(no) - AC_MSG_ERROR([ANTLR3 C runtime not found, see <http://www.antlr.org/>]) + AC_MSG_ERROR([ANTLR3 C runtime not found, see <http://www.antlr3.org/>]) ] ) done diff --git a/contrib/get-antlr-3.4 b/contrib/get-antlr-3.4 index 8228c2ace..7928690fa 100755 --- a/contrib/get-antlr-3.4 +++ b/contrib/get-antlr-3.4 @@ -34,8 +34,8 @@ mkdir -p antlr-3.4/share/java mkdir -p antlr-3.4/bin mkdir -p antlr-3.4/src cd antlr-3.4 -webget http://antlr.org/download/antlr-3.4-complete.jar share/java/antlr-3.4-complete.jar -webget http://antlr.org/download/C/libantlr3c-3.4.tar.gz src/libantlr3c-3.4.tar.gz +webget http://antlr3.org/download/antlr-3.4-complete.jar share/java/antlr-3.4-complete.jar +webget http://antlr3.org/download/C/libantlr3c-3.4.tar.gz src/libantlr3c-3.4.tar.gz tee bin/antlr3 <<EOF #!/bin/bash export CLASSPATH=`pwd`/share/java/antlr-3.4-complete.jar:\$CLASSPATH 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; |