src/Pure/Isar/isar_cmd.ML
changeset 60099 d20ca79d50e4
parent 60096 96a4765ba7d1
child 60100 3c66b0a9d7b0
     1.1 --- a/src/Pure/Isar/isar_cmd.ML	Thu Apr 16 15:11:04 2015 +0200
     1.2 +++ b/src/Pure/Isar/isar_cmd.ML	Thu Apr 16 15:22:44 2015 +0200
     1.3 @@ -267,7 +267,6 @@
     1.4  (* display dependencies *)
     1.5  
     1.6  val locale_deps =
     1.7 -  Toplevel.unknown_theory o
     1.8    Toplevel.keep (Toplevel.theory_of #> (fn thy =>
     1.9      Locale.pretty_locale_deps thy
    1.10      |> map (fn {name, parents, body} =>