changeset 44186 | 806f0ec1a43d |
parent 44113 | 0baa8bbd355a |
child 44352 | 176e0fb6906b |
--- a/src/Pure/Thy/thy_load.ML Sat Aug 13 20:20:36 2011 +0200 +++ b/src/Pure/Thy/thy_load.ML Sat Aug 13 20:41:29 2011 +0200 @@ -167,7 +167,7 @@ val time = ! Toplevel.timing; val _ = Present.init_theory name; - fun init _ = + fun init () = begin_theory dir name imports uses parents |> Present.begin_theory update_time dir uses;