fix layout algorithm

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>

diff --git a/src/bin/otter.rs b/src/bin/otter.rs
index 20693b1e03eb868538d4745c3bd8f72282f6a0a7..f09878386ef12bb4646b645b3091471db7e23d4c 100644 (file)
--- 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]);