# HG changeset patch
# User paulson
# Date 862400318 -7200
# Node ID 9844abe1de72e74f6dc2aafe53cc4f4a1fbb841b
# Parent  1a7edbd7f55afff2382a8367cef65bea0322c3d5
Now modified for sml/nj 109.27

diff -r 1a7edbd7f55a -r 9844abe1de72 src/Pure/NJ1xx.ML
--- a/src/Pure/NJ1xx.ML	Wed Apr 30 12:59:24 1997 +0200
+++ b/src/Pure/NJ1xx.ML	Wed Apr 30 13:38:38 1997 +0200
@@ -86,13 +86,13 @@
 (*** ML command execution ***)
 
 
-(*For version 109.21 and later:
+(*For version 109.21 and later:*)
 val use_string = Compiler.Interact.useStream o TextIO.openString o implode;
-*)
 
-(*For versions prior to 109.21:*)
+(*For versions prior to 109.21:*****
 fun use_string commands = 
    Compiler.Interact.use_stream (open_string (implode commands));
+*)
 
 (*** System command execution ***)