src/Pure/ML-Systems/smlnj.ML
changeset 7855 092a6435afad
parent 6227 3198f547f8af
child 7890 0aa16bc2abdb
--- a/src/Pure/ML-Systems/smlnj.ML	Wed Oct 13 19:42:12 1999 +0200
+++ b/src/Pure/ML-Systems/smlnj.ML	Wed Oct 13 19:42:46 1999 +0200
@@ -80,7 +80,7 @@
 
 (* ML command execution *)
 
-fun use_text verbose txt =
+fun use_text print verbose txt =
   let
     val ref out_orig = Compiler.Control.Print.out;
 
@@ -189,6 +189,9 @@
     result
   end;
 
+(*plain version; with return code*)
+val system = OS.Process.system: string -> int; 
+
 
 (* file handling *)