--- a/src/Pure/Thy/session.ML Wed Mar 10 10:43:59 1999 +0100
+++ b/src/Pure/Thy/session.ML Wed Mar 10 10:47:13 1999 +0100
@@ -59,11 +59,12 @@
val root_file = ThyLoad.ml_path "ROOT";
fun use_dir reset info parent name =
- (init reset parent name;
- Present.init info (str_of (! session)) (path ()) parent name;
+ let val parent_session = ! session in
+ init reset parent name;
+ Present.init info parent_session (! session) (path ()) name;
Symbol.use root_file;
- finish ())
- handle _ => exit 1;
+ finish ()
+ end handle _ => exit 1;
end;