src/Pure/PIDE/command_span.scala

--- a/src/Pure/PIDE/command_span.scala	Wed Nov 08 11:53:38 2023 +0100
+++ b/src/Pure/PIDE/command_span.scala	Wed Nov 08 12:00:29 2023 +0100
@@ -148,7 +148,7 @@
 
   val empty: Span = Span(Ignored_Span, Nil)
 
-  def unparsed(source: String, theory: Boolean): Span = {
+  def unparsed(source: String, theory: Boolean = false): Span = {
     val kind = if (theory) Theory_Span else Malformed_Span
     Span(kind, List(Token(Token.Kind.UNPARSED, source)))
   }