X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Fhlist.ml;h=f3dd254e3a219c1ff1759e78b694863a933ca16e;hp=3ffb8fc944480be3222e8c3e7db163999c354ea5;hb=35abea737ead2d4fd121d0cb8bdbda38cfcaa8d3;hpb=78d247dc5e6d5e64a4ab848702c23ce81b6fc615

diff --git a/src/hlist.ml b/src/hlist.ml
index 3ffb8fc..f3dd254 100644
--- a/src/hlist.ml
+++ b/src/hlist.ml
@@ -11,7 +11,9 @@ struct
   type elt = H.t
 
   module rec Node : Hcons.S with type data = Data.t = HCB(Data)
-                            and Data : Common_sig.HashedType with type t = (elt, Node.t) node =
+                            and Data : Common_sig.HashedType
+                                       with type t = (elt, Node.t) node
+    =
   struct
     type t = (elt, Node.t) node
     let equal x y =
@@ -22,7 +24,8 @@ struct
 
     let hash = function
     | Nil -> 0
-    | Cons(e, l) -> HASHINT3 (PRIME1, Uid.to_int (H.uid e), Uid.to_int (Node.uid l))
+    | Cons(e, l) ->
+      HASHINT3 (PRIME1, Uid.to_int (H.uid e), Uid.to_int (Node.uid l))
   end
 
   include Node
@@ -79,4 +82,3 @@ end
 
 module Make = Builder(Hcons.Make)
 module Weak = Builder(Hcons.Weak)
-