src/Pure/PIDE/document.ML
changeset 50201 c26369c9eda6
parent 49906 06a3570b0f0a
child 50862 5fc8b83322f5
     1.1 --- a/src/Pure/PIDE/document.ML	Sun Nov 25 18:50:13 2012 +0100
     1.2 +++ b/src/Pure/PIDE/document.ML	Sun Nov 25 19:49:24 2012 +0100
     1.3 @@ -272,7 +272,7 @@
     1.4                (#1 (Outer_Syntax.get_syntax ())) (Position.id id_string) text) ());
     1.5        val _ =
     1.6          Position.setmp_thread_data (Position.id_only id_string)
     1.7 -          (fn () => Output.status (Markup.markup_only Isabelle_Markup.accepted)) ();
     1.8 +          (fn () => Output.status (Markup.markup_only Markup.accepted)) ();
     1.9        val commands' =
    1.10          Inttab.update_new (id, (name, span)) commands
    1.11            handle Inttab.DUP dup => err_dup "command" dup;