changeset 56627 | cb912b7de3cf |
parent 53657 | 64942a1f7187 |
child 59344 | e0ce214303c1 |
--- a/lib/scripts/run-smlnj Mon Apr 21 21:16:05 2014 +0200 +++ b/lib/scripts/run-smlnj Tue Apr 22 11:47:57 2014 +0200 @@ -54,7 +54,7 @@ ## prepare databases if [ -z "$INFILE" ]; then - EXIT="fun exit rc : unit = Posix.Process.exit (Word8.fromInt rc);" + EXIT="fun exit rc = Posix.Process.exit (Word8.fromInt rc);" DB="" else EXIT=""