--- a/src/Pure/PIDE/command.ML Sat Mar 09 23:57:07 2019 +0100
+++ b/src/Pure/PIDE/command.ML Sun Mar 10 00:21:34 2019 +0100
@@ -217,8 +217,12 @@
fun run keywords int tr st =
if Future.proofs_enabled 1 andalso Keyword.is_diag keywords (Toplevel.name_of tr) then
- (Execution.fork {name = "Toplevel.diag", pos = Toplevel.pos_of tr, pri = ~1}
- (fn () => Toplevel.command_exception int tr st); ([], SOME st))
+ let
+ val (tr1, tr2) = Toplevel.fork_presentation tr;
+ val _ =
+ Execution.fork {name = "Toplevel.diag", pos = Toplevel.pos_of tr, pri = ~1}
+ (fn () => Toplevel.command_exception int tr1 st);
+ in Toplevel.command_errors int tr2 st end
else Toplevel.command_errors int tr st;
fun check_token_comments ctxt tok =