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