src/Pure/ROOT.scala

--- a/src/Pure/ROOT.scala	Wed May 31 11:13:22 2023 +0200
+++ b/src/Pure/ROOT.scala	Wed May 31 11:14:15 2023 +0200
@@ -27,4 +27,3 @@
   def if_proper[A](x: Iterable[A], body: => String): String = Library.if_proper(x, body)
   def if_proper(b: Boolean, body: => String): String = Library.if_proper(b, body)
 }
-