# HG changeset patch
# User wenzelm
# Date 1348670241 -7200
# Node ID 7bc5fcc035645e18878d04c4d078c128094c83fa
# Parent  11bcea724b2c195183cd294bcb6406bfbfac9dde
tuned message;

diff -r 11bcea724b2c -r 7bc5fcc03564 Admin/polyml/settings
--- a/Admin/polyml/settings	Wed Sep 26 15:04:15 2012 +0200
+++ b/Admin/polyml/settings	Wed Sep 26 16:37:21 2012 +0200
@@ -20,7 +20,8 @@
     then
       ML_PLATFORM="$ISABELLE_PLATFORM32"
     else
-      echo >&2 "### Cannot execute Poly/ML in 32bit mode -- using bulky 64bit version instead"
+      echo >&2 "### Cannot execute Poly/ML in 32bit mode: missing shared libraries for C/C++"
+      echo >&2 "### Using more voluminous 64bit version of Poly/ML instead"
       ML_PLATFORM="$ISABELLE_PLATFORM64"
     fi
     ;;