# HG changeset patch
# User samer
# Date 1424124296 0
# Node ID 386e9ef272b8d56066f04096df746d364bf20e37
# Parent  2c279c979bcdf3818ee350a7870b3697f390c8d1
Update SWIPL version

diff -r 2c279c979bcd -r 386e9ef272b8 etc/setup_as_dml.sh
--- a/etc/setup_as_dml.sh	Mon Feb 16 22:03:22 2015 +0000
+++ b/etc/setup_as_dml.sh	Mon Feb 16 22:04:56 2015 +0000
@@ -19,8 +19,8 @@
 	# wget http://www.swi-prolog.org/download/devel/src/pl-7.1.29.tar.gz
 	# cd ~/src
 	# tar xzf pl-7.1.29.tar.gz
-	unpack_into ~/src http://www.swi-prolog.org/download/devel/src/pl-7.1.29.tar.gz
-	cd ~/src/pl-7.1.29
+	unpack_into ~/src http://www.swi-prolog.org/download/devel/src/pl-7.1.30.tar.gz
+	cd ~/src/pl-7.1.30
 	cp build.templ build
 	patch build ~/etc/swipl-build.patch
 	./build