src/Pure/Isar/outer_syntax.ML

 
 fun process_file path thy =
   let
     val result = ref thy;
     val trs = parse (Path.position path) (File.read path);
-    val init = Toplevel.init_theory (K thy) (fn thy' => result := thy') (K ());
+    val init = Toplevel.init_theory "" (K thy) (fn thy' => result := thy') (K ());
     val _ = Toplevel.excursion (init Toplevel.empty :: trs @ [Toplevel.exit Toplevel.empty]);
   in ! result end;
 
 
 (* interactive source of toplevel transformers *)