1 files changed, 12 insertions, 0 deletions
diff --git a/research/experiments/045-proof-compiler/variants/v2-text.patch b/research/experiments/045-proof-compiler/variants/v2-text.patch
new file mode 100644
index 0000000..2539f0c
--- /dev/null
+++ b/research/experiments/045-proof-compiler/variants/v2-text.patch
@@ -0,0 +1,12 @@
+--- linebreak.aup
++++ v2-text.aup
+@@ -175,8 +175,6 @@
+   }
+   let t = Text { codes: codes, cls: cls, eff: eff, joined: joined, start: start, nonspace: nonspace, numeric: numeric, ri: ri,
+                  at: at }
+-  let out: list of i64 = [0]                                                          # LB2
+-  for i in 1 .. codes.count { out.append(i64(decide(t, i))) }
+-  if codes.count > 0 { out.append(2) }                                                # LB3
++  let out: list of i64 = [0]
+   breaks = bytes(out)
+ }