src/Pure/PIDE/document.ML

                 {name = "theory:" ^ name, group = SOME (Future.new_group (SOME group)),
                   deps = map (Future.task_of o #2) deps, pri = ~2, interrupts = false}
                 (fn () =>
                   iterate_entries (fn (_, opt_exec) => fn () =>
                     (case opt_exec of
-                      SOME exec => if running () then SOME (Command.execute exec) else NONE
+                      SOME exec => if running () then SOME (Command.exec exec) else NONE
                     | NONE => NONE)) node ()));
   in () end;