Small optimization (replace lor 1 by + 1)
authorKim Nguyễn <kn@lri.fr>
Thu, 1 Mar 2012 13:26:59 +0000 (14:26 +0100)
committerKim Nguyễn <kn@lri.fr>
Thu, 1 Mar 2012 13:26:59 +0000 (14:26 +0100)
src/finiteCofinite.ml

index ecd0a56..db6ce31 100644 (file)
@@ -62,7 +62,7 @@ struct
                                 | _ -> false
                             let hash = function
                               Finite (s) -> (E.hash s) lsl 1
-                            | CoFinite(s) -> ((E.hash s) lsl 1 ) lor 1
+                            | CoFinite(s) -> ((E.hash s) lsl 1 ) + 1
                           end)
   type t = Node.t
   let empty = Node.make (Finite E.empty)