src/Pure/Isar/outer_syntax.ML
changeset 44187 88d770052bac
parent 44186 806f0ec1a43d
child 44357 5f5649ac8235
     1.1 --- a/src/Pure/Isar/outer_syntax.ML	Sat Aug 13 20:41:29 2011 +0200
     1.2 +++ b/src/Pure/Isar/outer_syntax.ML	Sat Aug 13 20:49:41 2011 +0200
     1.3 @@ -224,7 +224,7 @@
     1.4  fun process_file path thy =
     1.5    let
     1.6      val trs = parse (Path.position path) (File.read path);
     1.7 -    val init = Toplevel.init_theory "" (K thy) Toplevel.empty;
     1.8 +    val init = Toplevel.init_theory (K thy) Toplevel.empty;
     1.9      val result = fold Toplevel.command (init :: trs) Toplevel.toplevel;
    1.10    in
    1.11      (case (Toplevel.is_theory result, Toplevel.generic_theory_of result) of