src/Pure/Isar/isar_document.ML

       in put_state state_id' state' end;
   in (state_id', ((id, state_id'), make_state') :: updates) end;
 
 fun report_updates [] = ()
   | report_updates updates =
-      Output.status
-        (implode (map (fn (id, state_id) => Markup.markup (Markup.edit id state_id) "") updates));
+      implode (map (fn (id, state_id) => Markup.markup (Markup.edit id state_id) "") updates)
+      |> Markup.markup Markup.assign
+      |> Output.status;
 
 in
 
 fun edit_document (old_id: document_id) (new_id: document_id) edits =
   NAMED_CRITICAL "Isar" (fn () =>