From 38745f61cbf26eac747f905487d8f0c707cff33d Mon Sep 17 00:00:00 2001
From: malc <av1474@comtv.ru>
Date: Tue, 9 Aug 2011 17:13:41 +0400
Subject: [PATCH] Consistency

---
 main.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/main.ml b/main.ml
index b8072dc..798336b 100644
--- a/main.ml
+++ b/main.ml
@@ -42,7 +42,7 @@ and mstate =
     | Mnone
 ;;
 
-type textentry = (char * string * onhist * onkey * ondone)
+type textentry = char * string * onhist * onkey * ondone
 and onkey = string -> int -> te
 and ondone = string -> unit
 and histcancel = unit -> unit
@@ -165,9 +165,9 @@ type outlines =
     | Onarrow of string * outline array * outline array
 ;;
 
-type rect = (float * float * float * float * float * float * float * float);;
+type rect = float * float * float * float * float * float * float * float;;
 
-type pagemapkey = (pageno * width * angle * proportional * gen);;
+type pagemapkey = pageno * width * angle * proportional * gen;;
 
 type anchor = pageno * top;;
 
-- 
2.11.4.GIT