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 _ =>