src/Pure/PIDE/command.scala

--- a/src/Pure/PIDE/command.scala	Wed Nov 08 11:53:38 2023 +0100
+++ b/src/Pure/PIDE/command.scala	Wed Nov 08 12:00:29 2023 +0100
@@ -382,7 +382,7 @@
     results: Results = Results.empty,
     markups: Markups = Markups.empty
   ): Command = {
-    val (source1, span1) = Command_Span.unparsed(source, theory).compact_source
+    val (source1, span1) = Command_Span.unparsed(source, theory = theory).compact_source
     new Command(id, node_name, blobs_info, span1, source1, results, markups)
   }