From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 27 Sep 2020 16:11:26 +0000 (+0100)
Subject: fix layout algorithm
X-Git-Tag: otter-0.2.0~845
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=04ec5bc737424459b69bdf6df05ab466f1d2eff9;p=otter.git

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 6009a3f3..a76934e9 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, self.top + h);
+        self.cbot = max(self.cbot, self.top + h);
         if self.cbot > self.bot { None? }
 
         let ttopleft = PosC([tlhs, self.top]);