--- a/src/Pure/General/pretty.scala Sat Apr 02 21:10:07 2016 +0200
+++ b/src/Pure/General/pretty.scala Sat Apr 02 21:54:51 2016 +0200
@@ -48,6 +48,8 @@
/* markup trees with physical blocks and breaks */
+ private def force_nat(i: Int): Int = i max 0
+
private sealed abstract class Tree { def length: Double }
private case class Block(
markup: Option[(Markup, Option[XML.Body])],
@@ -83,8 +85,6 @@
/* formatted output */
- private def force_nat(i: Int): Int = i max 0
-
private sealed case class Text(tx: XML.Body = Nil, pos: Double = 0.0, nl: Int = 0)
{
def newline: Text = copy(tx = fbrk :: tx, pos = 0.0, nl = nl + 1)