src/Pure/Thy/present.ML
changeset 42003 6e45dc518ebb
parent 41944 b97091ae583a
child 42004 e06351ffb475
     1.1 --- a/src/Pure/Thy/present.ML	Sun Mar 20 13:49:21 2011 +0100
     1.2 +++ b/src/Pure/Thy/present.ML	Sun Mar 20 17:40:45 2011 +0100
     1.3 @@ -462,7 +462,7 @@
     1.4  
     1.5      val files_html = files |> map (fn (raw_path, loadit) =>
     1.6        let
     1.7 -        val path = #1 (Thy_Load.check_file dir raw_path);
     1.8 +        val path = Thy_Load.check_file dir raw_path;
     1.9          val base = Path.base path;
    1.10          val base_html = html_ext base;
    1.11          val _ = add_file (Path.append html_prefix base_html,