From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Mon, 27 Jan 2014 23:04:04 +0000 (-0500)
Subject: URL update
X-Git-Tag: cvc5-1.0.0~6987^2~10
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=218dbfa797e6318484f7f858a29dd4c422bc37d3;p=cvc5.git

URL update
---

diff --git a/contrib/get-antlr-3.4 b/contrib/get-antlr-3.4
index 7a8f64f69..97cfe43af 100755
--- a/contrib/get-antlr-3.4
+++ b/contrib/get-antlr-3.4
@@ -35,8 +35,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://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
+webget http://www.antlr3.org/download/antlr-3.4-complete.jar share/java/antlr-3.4-complete.jar 
+webget http://www.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