# HG changeset patch
# User wenzelm
# Date 1414511098 -3600
# Node ID fa993a9082dfce8c040592c76b210606e6a92a98
# Parent  785a65d257902f5cf63377ab93f0fd8a49bcfd0c
increase chances that HOL-Proofs image still works for polyml-5.3.0;

diff -r 785a65d25790 -r fa993a9082df Admin/isatest/settings/at-poly
--- a/Admin/isatest/settings/at-poly	Tue Oct 28 16:27:11 2014 +0100
+++ b/Admin/isatest/settings/at-poly	Tue Oct 28 16:44:58 2014 +0100
@@ -4,7 +4,7 @@
 
   POLYML_HOME="/home/polyml/polyml-5.3.0"
   ML_SYSTEM="polyml-5.3.0"
-  ML_PLATFORM="x86-linux"
+  ML_PLATFORM="x86_64-linux"
   ML_HOME="$POLYML_HOME/$ML_PLATFORM"
   ML_OPTIONS="-H 1000"
 
diff -r 785a65d25790 -r fa993a9082df Admin/isatest/settings/at-poly-e
--- a/Admin/isatest/settings/at-poly-e	Tue Oct 28 16:27:11 2014 +0100
+++ b/Admin/isatest/settings/at-poly-e	Tue Oct 28 16:44:58 2014 +0100
@@ -4,7 +4,7 @@
 
   POLYML_HOME="/home/polyml/polyml-5.3.0"
   ML_SYSTEM="polyml-5.3.0"
-  ML_PLATFORM="x86-linux"
+  ML_PLATFORM="x86_64-linux"
   ML_HOME="$POLYML_HOME/$ML_PLATFORM"
   ML_OPTIONS="-H 1000"