From 8c23267879b41a113f50b31678d1302ccbf90393 Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Tue, 6 May 2025 16:05:39 +0100
Subject: Remove some extra whitespace.

---
 sec/encoding.ltx | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'sec/encoding.ltx')

diff --git a/sec/encoding.ltx b/sec/encoding.ltx
index 96918c7..5c4fe4e 100644
--- a/sec/encoding.ltx
+++ b/sec/encoding.ltx
@@ -339,6 +339,7 @@ let balanced n f = primrec n with
           arb
       in snd dh (length - 1, fun i => idxs (Suc i)))
 \end{systemt}
+\vspace{-\baselineskip}
 \end{listing}
 
 And \systemtinline{compose} reduces to:
@@ -356,6 +357,7 @@ let compose (depth, heap) =
     | Branch (f, g) => fun x => f (g x)
   in go
 \end{systemt}
+\vspace{-\baselineskip}
 \end{listing}
 
 \subsection{Phase 4: Encoding Sums}%
-- 
cgit v1.2.3

