From 0a1feb4bbf7ce2d0b90f87f272316c5b36e4b9ca Mon Sep 17 00:00:00 2001 From: malc Date: Wed, 10 Aug 2011 19:43:30 +0400 Subject: [PATCH] Cosmetics --- main.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/main.ml b/main.ml index 78e14d6..308e070 100644 --- a/main.ml +++ b/main.ml @@ -42,11 +42,11 @@ and mstate = | Mnone ;; -type textentry = string * string * onhist * onkey * ondone +type textentry = string * string * onhist option * onkey * ondone and onkey = string -> int -> te and ondone = string -> unit and histcancel = unit -> unit -and onhist = ((histcmd -> string) * histcancel) option +and onhist = ((histcmd -> string) * histcancel) and histcmd = HCnext | HCprev | HCfirst | HClast and te = | TEstop -- 2.11.4.GIT