1 files changed, 2 insertions, 2 deletions
diff --git a/catalog.ml b/catalog.ml
index 450966f..19fb3f4 100755
--- a/catalog.ml
+++ b/catalog.ml
@@ -41,11 +41,11 @@ module Make(Data:DATA_SIG) = struct
     let eq: type a b. a sig_typ -> b sig_typ -> (a, b) T.cmp = begin fun a b ->
 
       let cmp: type c d. c Data.typ -> d Data.typ -> ((c, d) eq -> (a, b) T.cmp) -> (a, b) T.cmp =
-        begin fun a b f -> match Data.compare_typ a b with
+      begin fun a b f -> match Data.compare_typ a b with
         | T.Eq -> f Eq
         | T.Lt -> T.Lt
         | T.Gt -> T.Gt
-        end in
+      end in
 
       match a, b with