# HG changeset patch
# User wolffd <wolffd.mail@googlemail.com>
# Date 1534873053 -3600
# Node ID ee91974287d6be6c29a194d5a0e627ac08c4d7a3
# Parent  c063a320d14f1f3bf3b6392c4384ac924de7b725
testing newest swi-prolog version

diff -r c063a320d14f -r ee91974287d6 etc/setup_as_dml.sh
--- a/etc/setup_as_dml.sh	Wed Jul 25 16:29:24 2018 +0100
+++ b/etc/setup_as_dml.sh	Tue Aug 21 18:37:33 2018 +0100
@@ -27,7 +27,8 @@
 	patch build ~/etc/swipl-build.patch
 	./build
 	cd ~/src/swipl
-        ./upgrade_swipl 7.3.9
+        # ./upgrade_swipl 7.3.9
+        ./upgrade_swipl 7.7.18 # experimental test of the most recent version!
 }
 
 function unpack_into {