--- a/Admin/polyml/settings Sun Nov 07 20:04:47 2021 +0100
+++ b/Admin/polyml/settings Sun Nov 07 23:35:11 2021 +0100
@@ -8,7 +8,7 @@
then
ML_OPTIONS="--minheap 1000"
else
- ML_PLATFORM="${ML_PLATFORM/x86_64/x86_64_32}"
+ ML_PLATFORM="${ML_PLATFORM/64/64_32}"
ML_OPTIONS="--minheap 500"
fi