From ff8ead3db3e5fa90839c82cc38215df3c3ef73c1 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Tue, 22 Jan 2013 12:28:45 -0500
Subject: [PATCH] update ANTLR URLs (antlr.org -> antlr3.org)

---
 COPYING                  | 2 +-
 config/antlr.m4          | 4 ++--
 contrib/get-antlr-3.4    | 4 ++--
 src/parser/tptp/tptp.cpp | 2 +-
 4 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/COPYING b/COPYING
index 648b42a02..5016b3fbd 100644
--- a/COPYING
+++ b/COPYING
@@ -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;
-- 
2.30.2