src/Pure/PIDE/document.ML
changeset 49011 9c68e43502ce
parent 49010 72808e956879
child 49012 8686c36fa27d
     1.1 --- a/src/Pure/PIDE/document.ML	Thu Aug 30 16:39:50 2012 +0200
     1.2 +++ b/src/Pure/PIDE/document.ML	Thu Aug 30 19:18:49 2012 +0200
     1.3 @@ -357,7 +357,7 @@
     1.4    is_some (Exn.get_res (Exn.capture (fn () =>
     1.5      fst (fst (Command.memo_result (the (get_result node))))
     1.6      |> Toplevel.end_theory Position.none
     1.7 -    |> Thm.join_all_proofs) ()));
     1.8 +    |> Thm.join_theory_proofs) ()));
     1.9  
    1.10  fun stable_command exec =
    1.11    (case Exn.capture Command.memo_result exec of