src/Pure/Thy/present.ML

--- a/src/Pure/Thy/present.ML	Tue Nov 24 17:28:44 2009 +0100
+++ b/src/Pure/Thy/present.ML	Wed Nov 25 09:13:46 2009 +0100
@@ -285,7 +285,7 @@
     (browser_info := empty_browser_info; session_info := NONE)
   else
     let
-      val parent_name = name_of_session ((uncurry take) (length path - 1, path));
+      val parent_name = name_of_session (take (length path - 1) path);
       val session_name = name_of_session path;
       val sess_prefix = Path.make path;
       val html_prefix = Path.append (Path.expand output_path) sess_prefix;