From 3127f046def904862ece9f850d3550c359550e3b Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Tue, 27 May 2014 13:25:15 +0200 Subject: [PATCH] remove ugly tabs --- misc/AVL.ml | 7 ++++--- misc/AVL.mli | 7 ++++--- 2 files changed, 8 insertions(+), 6 deletions(-) diff --git a/misc/AVL.ml b/misc/AVL.ml index 592113a1..b28a4b8f 100644 --- a/misc/AVL.ml +++ b/misc/AVL.ml @@ -34,9 +34,10 @@ type ('a,'b) tree = | Empty | Node of ('a,'b) tree * 'a * 'b * ('a,'b) tree * int -type ('a,'b) t = - { cmp: 'a comparator; - t: ('a,'b) tree } +type ('a,'b) t = { + cmp: 'a comparator; + t: ('a,'b) tree +} let empty ~cmp = { cmp; t=Empty } diff --git a/misc/AVL.mli b/misc/AVL.mli index 5ff71ffa..094ace1e 100644 --- a/misc/AVL.mli +++ b/misc/AVL.mli @@ -32,9 +32,10 @@ type ('a,'b) tree = private | Empty | Node of ('a,'b) tree * 'a * 'b * ('a,'b) tree * int -type ('a,'b) t = private - { cmp: 'a comparator; - t: ('a,'b) tree } +type ('a,'b) t = private { + cmp: 'a comparator; + t: ('a,'b) tree +} val empty : cmp:'a comparator -> ('a,'b) t (** Empty tree *)