From a72d3ee1827eb7d74fb3eff9b90450856d0a0e6b Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 27 Sep 2020 16:55:39 +0100
Subject: [PATCH] fix layout algorithm

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---
 src/bin/otter.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/bin/otter.rs b/src/bin/otter.rs
index 20693b1e..f0987838 100644
--- a/src/bin/otter.rs
+++ b/src/bin/otter.rs
@@ -778,7 +778,7 @@ mod library_add {
           self.top = self.cbot;
           self.clhs = self.lhs;
         };
-        self.cbot = min(self.cbot, h);
+        self.cbot = min(self.cbot, self.top - h);
         if self.cbot > self.bot { None? }
 
         let ttopleft = PosC([tlhs, self.top]);
-- 
2.30.2