# HG changeset patch
# User wenzelm
# Date 921059233 -3600
# Node ID 150182bcb7da342b98f790536e5c6312aac0808b
# Parent  f523a7c91c37508a7a6681723272cbc2294c7650
parent_session;

diff -r f523a7c91c37 -r 150182bcb7da src/Pure/Thy/session.ML
--- 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;