src/Pure/Isar/toplevel.ML
changeset 37950 bc285d91041e
parent 37949 48a874444164
child 37951 4e2aaf080572
     1.1 --- a/src/Pure/Isar/toplevel.ML	Sat Jul 24 12:14:53 2010 +0200
     1.2 +++ b/src/Pure/Isar/toplevel.ML	Sat Jul 24 21:22:21 2010 +0200
     1.3 @@ -629,7 +629,7 @@
     1.4  fun run_command thy_name tr st =
     1.5    (case
     1.6        (case init_of tr of
     1.7 -        SOME name => Exn.capture (fn () => Thy_Load.consistent_name thy_name name) ()
     1.8 +        SOME name => Exn.capture (fn () => Thy_Header.consistent_name thy_name name) ()
     1.9        | NONE => Exn.Result ()) of
    1.10      Exn.Result () =>
    1.11        let val int = is_some (init_of tr) in