src/Pure/Thy/thy_output.ML
changeset 27566 6b20092af078
parent 27522 b819d3b263a0
child 27732 8dbf5761a24a
--- a/src/Pure/Thy/thy_output.ML	Mon Jul 14 11:19:42 2008 +0200
+++ b/src/Pure/Thy/thy_output.ML	Mon Jul 14 11:19:43 2008 +0200
@@ -497,7 +497,7 @@
 
 fun proof_state node =
   (case Option.map Toplevel.proof_node node of
-    SOME (SOME prf) => ProofHistory.current prf
+    SOME (SOME prf) => ProofNode.current prf
   | _ => error "No proof state");
 
 fun output_goals main_goal src node = args (Scan.succeed ()) (output (fn _ => fn _ =>