src/Pure/PIDE/document.ML
changeset 44186 806f0ec1a43d
parent 44185 05641edb5d30
child 44196 3588f71abb50
     1.1 --- a/src/Pure/PIDE/document.ML	Sat Aug 13 20:20:36 2011 +0200
     1.2 +++ b/src/Pure/PIDE/document.ML	Sat Aug 13 20:41:29 2011 +0200
     1.3 @@ -280,12 +280,12 @@
     1.4      val is_init = Toplevel.is_init raw_tr;
     1.5      val tr =
     1.6        if is_init then
     1.7 -        raw_tr |> Toplevel.modify_init (fn _ =>
     1.8 +        raw_tr |> Toplevel.modify_init (fn () =>
     1.9            let
    1.10              (* FIXME get theories from document state *)
    1.11              (* FIXME provide files via Scala layer *)
    1.12              val (name, imports, uses) = Exn.release node_header;
    1.13 -            val master = SOME (Path.dir (Path.explode node_name));
    1.14 +            val master = Path.dir (Path.explode node_name);
    1.15            in Thy_Info.toplevel_begin_theory master name imports (map (apfst Path.explode) uses) end)
    1.16        else raw_tr;
    1.17