From 354805b8fbbdc33af855d309989641d66cbea577 Mon Sep 17 00:00:00 2001 From: malc Date: Sat, 6 Aug 2011 23:56:31 +0400 Subject: [PATCH] Formatting --- main.ml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/main.ml b/main.ml index 14bcdde..5c7e1ae 100644 --- a/main.ml +++ b/main.ml @@ -409,8 +409,7 @@ let layout y sh = let pagey = vy - py in let pagevh = h - pagey in let pagevh = min (sh - dy) pagevh in - let off = if yinc > 0 then py - vy else 0 - in + let off = if yinc > 0 then py - vy else 0 in let py = py + h + ips in let e = { pageno = pageno -- 2.11.4.GIT