Admin/polyml/settings

--- a/Admin/polyml/settings	Tue May 13 22:14:12 2014 +0200
+++ b/Admin/polyml/settings	Wed May 14 12:00:18 2014 +0200
@@ -5,7 +5,7 @@
 
 # basic settings
 
-#ML_SYSTEM=polyml-5.5.1
+#ML_SYSTEM=polyml-5.5.2
 #ML_PLATFORM="$ISABELLE_PLATFORM32"
 #ML_HOME="$POLYML_HOME/$ML_PLATFORM"
 #ML_OPTIONS="-H 500"
@@ -14,7 +14,7 @@
 
 # smart settings
 
-ML_SYSTEM=polyml-5.5.1
+ML_SYSTEM=polyml-5.5.2
 
 case "$ISABELLE_PLATFORM" in
   *-linux)