changeset 79528 | 667cb8b79909 |
parent 79508 | b2861a2c2aa2 |
child 79749 | a861b0df74b4 |
--- a/src/Pure/ROOT.scala Wed Jan 24 18:41:21 2024 +0100 +++ b/src/Pure/ROOT.scala Wed Jan 24 22:43:41 2024 +0100 @@ -29,3 +29,4 @@ 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) } +