diff -r 26794ec7c78e -r 68ffcf5cc94b Admin/polyml/settings
--- a/Admin/polyml/settings	Sat Jan 22 13:00:03 2022 +0100
+++ b/Admin/polyml/settings	Mon Jan 24 21:29:37 2022 +0100
@@ -2,7 +2,7 @@
 
 POLYML_HOME="$COMPONENT"
 
-ML_PLATFORM="${ISABELLE_WINDOWS_PLATFORM64:-${ISABELLE_PLATFORM64}}"
+ML_PLATFORM="${ISABELLE_APPLE_PLATFORM64:-${ISABELLE_WINDOWS_PLATFORM64:-${ISABELLE_PLATFORM64}}}"
 
 if grep "ML_system_64.*=.*true" "$ISABELLE_HOME_USER/etc/preferences" >/dev/null 2>/dev/null
 then