src/Pure/Isar/isar_cmd.ML
changeset 42425 2aa907d5ee4f
parent 42360 da8817d01e7c
child 42464 ae16b8abf1a8
     1.1 --- a/src/Pure/Isar/isar_cmd.ML	Wed Apr 20 13:17:25 2011 +0200
     1.2 +++ b/src/Pure/Isar/isar_cmd.ML	Wed Apr 20 13:54:07 2011 +0200
     1.3 @@ -387,8 +387,7 @@
     1.4      val thy = Toplevel.theory_of state;
     1.5      val thy_session = Present.session_name thy;
     1.6  
     1.7 -    val all_thys = rev (thy :: Theory.ancestors_of thy);
     1.8 -    val gr = all_thys |> map (fn node =>
     1.9 +    val gr = rev (Theory.nodes_of thy) |> map (fn node =>
    1.10        let
    1.11          val name = Context.theory_name node;
    1.12          val parents = map Context.theory_name (Theory.parents_of node);