--- a/src/Pure/General/pretty.ML Thu Dec 17 17:32:01 2015 +0100
+++ b/src/Pure/General/pretty.ML Sat Dec 19 10:59:14 2015 +0100
@@ -255,8 +255,9 @@
| breakdist ([], after) = after;
(*Search for the next break (at this or higher levels) and force it to occur.*)
+val forcebreak = fn Break (false, wd, ind) => Break (true, wd, ind) | e => e;
fun forcenext [] = []
- | forcenext (Break _ :: es) = fbrk :: es
+ | forcenext ((e as Break _) :: es) = forcebreak e :: es
| forcenext (e :: es) = e :: forcenext es;
in