# HG changeset patch
# User paulson
# Date 1636363886 0
# Node ID 25f5f1fa31bb7a9a1e4b8da3d65ee0c15670dad3
# Parent  58ae06d382ee5a1867d402550dbc69d2d1275c27# Parent  64b3d8d9bd105ee4bd2fe070e6a78fc07dc4ac8c
merged

diff -r 64b3d8d9bd10 -r 25f5f1fa31bb Admin/polyml/settings
--- a/Admin/polyml/settings	Sun Nov 07 22:14:40 2021 +0000
+++ b/Admin/polyml/settings	Mon Nov 08 09:31:26 2021 +0000
@@ -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