TFL/rules.new.sml
changeset 3629 8e95bd329fff
parent 3556 229a40c2b19e
child 4713 bea2ab2e360b
--- a/TFL/rules.new.sml	Wed Aug 06 14:12:29 1997 +0200
+++ b/TFL/rules.new.sml	Wed Aug 06 14:15:05 1997 +0200
@@ -514,7 +514,7 @@
 val thm_ref = ref [] : thm list ref;
 val tracing = ref false;
 
-fun say s = if !tracing then TextIO.output (TextIO.stdOut, s) else ();
+fun say s = if !tracing then prs s else ();
 
 fun print_thms s L = 
    (say s;