Correction

1 files changed, 3 insertions, 3 deletions

diff --git a/scTypes.ml b/scTypes.ml
index ca2b32f..a222f3b 100755
--- a/scTypes.ml
+++ b/scTypes.ml
@@ -90,6 +90,8 @@ module DataFormat = struct
     | Bool -> false
     | String -> UTF8.empty
 
+  type ('a, 'b) equality = Eq : ('a, 'a) equality
+
   let compare_format: type a b. a dataFormat -> b dataFormat -> (a, b) equality =
     fun a b -> begin match a, b with
     | Date, Date -> Eq
@@ -218,8 +220,6 @@ module Refs = struct
   type refContent =
     | C: 'a content -> refContent [@@unboxed]
 
-  type ('a, 'b) equality = Eq : ('a, 'a) equality
-
   (** Add one element in a typed list.
 
       The function will raise Error.TypeError if the elements does not match
@@ -232,7 +232,7 @@ module Refs = struct
     | Some (Error x) -> raise x
     | Some (Result r) ->
       let Type.Value (format', element) = Type.get_content r in
-      let Eq = DataFormat.compare_format format format' in
+      let DataFormat.Eq = DataFormat.compare_format format format' in
       let new_format = if (DataFormat.priority format) > (DataFormat.priority format') then
           format
         else