lib/scripts/run-smlnj

--- a/lib/scripts/run-smlnj	Fri Aug 03 14:52:45 2012 +0200
+++ b/lib/scripts/run-smlnj	Fri Aug 03 16:00:12 2012 +0200
@@ -52,7 +52,7 @@
 ## prepare databases
 
 if [ -z "$INFILE" ]; then
-  EXIT="fun exit 0 = (OS.Process.exit OS.Process.success): unit | exit _ = OS.Process.exit OS.Process.failure;"
+  EXIT="fun exit rc : unit = Posix.Process.exit (Word8.fromInt rc);"
   DB=""
 else
   EXIT=""