changeset 18560 | 6b4570eb22d2 |
parent 18174 | c6e3c6516a23 |
child 18587 | d4dcdfd764a0 |
--- a/src/Pure/proof_general.ML Wed Jan 04 00:52:40 2006 +0100 +++ b/src/Pure/proof_general.ML Wed Jan 04 00:52:42 2006 +0100 @@ -1197,7 +1197,7 @@ end val topnode = Toplevel.node_of o Toplevel.get_state - fun topproofpos () = (case topnode() of Toplevel.Proof ph => SOME(ProofHistory.position ph) + fun topproofpos () = (case topnode() of Toplevel.Proof (h, _) => SOME(ProofHistory.position h) | _ => NONE) handle Toplevel.UNDEF => NONE in