src/Pure/PIDE/document.ML
changeset 66167 1bd268ab885c
parent 65445 e9e7f5f5794c
child 66367 b60afdf1177d
     1.1 --- a/src/Pure/PIDE/document.ML	Thu Jun 22 14:27:13 2017 +0200
     1.2 +++ b/src/Pure/PIDE/document.ML	Thu Jun 22 15:20:32 2017 +0200
     1.3 @@ -371,7 +371,7 @@
     1.4      let
     1.5        val id = Document_ID.print command_id;
     1.6        val span =
     1.7 -        Lazy.lazy (fn () =>
     1.8 +        Lazy.lazy_name "Document.define_command" (fn () =>
     1.9            Position.setmp_thread_data (Position.id_only id)
    1.10              (fn () =>
    1.11                let