# HG changeset patch
# User wenzelm
# Date 1375035059 -7200
# Node ID b65d699f1a7e83ef1cc4a2569cb69bc2eb4d7f49
# Parent  96d53ab825cf3c09ad996a043169388a901fbc90
prefer existing swipl;

diff -r 96d53ab825cf -r b65d699f1a7e Admin/isatest/settings/at-poly-test
--- a/Admin/isatest/settings/at-poly-test	Sun Jul 28 20:10:21 2013 +0200
+++ b/Admin/isatest/settings/at-poly-test	Sun Jul 28 20:10:59 2013 +0200
@@ -28,5 +28,5 @@
 
 ISABELLE_GHC="/usr/bin/ghc"
 ISABELLE_OCAML="/usr/bin/ocaml"
-ISABELLE_SWIPL="/home/isabelle/contrib_devel/swipl/bin/swipl"
+ISABELLE_SWIPL="/usr/bin/swipl"