1 files changed, 4 insertions, 4 deletions
diff --git a/catalog.ml b/catalog.ml
index 19fb3f4..bd17a18 100755
--- a/catalog.ml
+++ b/catalog.ml
@@ -3,7 +3,7 @@ module type DATA_SIG = sig
 
   type 'a typ
 
-  type 'a result
+  type 'a returnType
 
   val compare_typ: 'a typ -> 'b typ -> ('a, 'b) T.cmp
 
@@ -20,9 +20,9 @@ module Make(Data:DATA_SIG) = struct
   (** This is the way the function is store in the map.
        We just the return type, and the function itself. *)
   type _ t_function =
-    | Fn1: 'b Data.result * ('a -> 'b) -> 'a t_function
-    | Fn2: 'c Data.result * ('a -> 'b -> 'c) -> ('a * 'b) t_function
-    | Fn3: 'd Data.result * ('a -> 'b -> 'c -> 'd) -> ('a * 'b * 'c) t_function
+    | Fn1: 'b Data.returnType * ('a -> 'b) -> 'a t_function
+    | Fn2: 'c Data.returnType * ('a -> 'b -> 'c) -> ('a * 'b) t_function
+    | Fn3: 'd Data.returnType * ('a -> 'b -> 'c -> 'd) -> ('a * 'b * 'c) t_function
 
   (** This is the key for storing functions in the map. *)
   type _ sig_typ =