diff -r 0eaa1851a5b6 -r db0ff630bbb7 progs/sml/README
--- a/progs/sml/README	Sat Mar 16 11:15:22 2019 +0000
+++ b/progs/sml/README	Thu Apr 11 17:37:00 2019 +0100
@@ -4,5 +4,8 @@
 
 or, call directly
 
+poly --use re.ML
 
-poly --use re.ML 
\ No newline at end of file
+
+
+poly --enable-compact32bit --use re.ML 
\ No newline at end of file