src/Pure/PIDE/byte_message.scala

--- a/src/Pure/PIDE/byte_message.scala	Sun Jun 16 11:50:42 2024 +0200
+++ b/src/Pure/PIDE/byte_message.scala	Sun Jun 16 11:55:25 2024 +0200
@@ -90,8 +90,9 @@
     }
 
   def write_line_message(stream: OutputStream, msg: Bytes): Unit = {
-    if (is_length(msg) || is_terminated(msg))
+    if (is_length(msg) || is_terminated(msg)) {
       error ("Bad content for line message:\n" ++ msg.text.take(100))
+    }
 
     val n = msg.size
     write(stream,