src/Pure/PIDE/document.ML
changeset 58934 385a4cc7426f
parent 58928 23d0ffd48006
child 59056 cbe9563c03d1
     1.1 --- a/src/Pure/PIDE/document.ML	Fri Nov 07 19:47:05 2014 +0100
     1.2 +++ b/src/Pure/PIDE/document.ML	Fri Nov 07 20:06:18 2014 +0100
     1.3 @@ -544,7 +544,7 @@
     1.4        val span = Lazy.force span0;
     1.5  
     1.6        val eval' =
     1.7 -        Command.eval (master_directory node)
     1.8 +        Command.eval keywords (master_directory node)
     1.9            (fn () => the_default illegal_init init span) blobs span eval;
    1.10        val prints' =
    1.11          perhaps (Command.print command_visible command_overlays keywords command_name eval') [];