src/Pure/tactic.ML

--- a/src/Pure/tactic.ML	Wed Nov 25 13:57:17 1998 +0100
+++ b/src/Pure/tactic.ML	Wed Nov 25 13:57:44 1998 +0100
@@ -102,7 +102,7 @@
 fun trace_goalno_tac tac i st =  
     case Seq.pull(tac i st) of
 	None    => Seq.empty
-      | seqcell => (prs("Subgoal " ^ string_of_int i ^ " selected\n"); 
+      | seqcell => (writeln ("Subgoal " ^ string_of_int i ^ " selected"); 
     			 Seq.make(fn()=> seqcell));