changeset 33383 | 12d79ece3f7e |
parent 33281 | 223ef9bc399a |
child 33456 | fbd47f9b9b12 |
--- a/src/Pure/Isar/local_theory.ML Mon Nov 02 19:56:06 2009 +0100 +++ b/src/Pure/Isar/local_theory.ML Mon Nov 02 20:30:40 2009 +0100 @@ -150,9 +150,9 @@ fun target_result f lthy = let val (res, ctxt') = target_of lthy - |> ContextPosition.set_visible false + |> Context_Position.set_visible false |> f - ||> ContextPosition.restore_visible lthy; + ||> Context_Position.restore_visible lthy; val thy' = ProofContext.theory_of ctxt'; val lthy' = lthy |> map_target (K ctxt')