error wrong queuemode in proof-add-to-queue: t instead expected advancing #836
Description
This happens in silent mode when extending the queue region while Coq is still busy with printing the previous goal. See #828 for the root cause.
{{ message }}