X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2FfiniteCofinite.ml;h=db6ce31597de169f87764214038548aa08c6095d;hb=642b641d914ed49e5e3c084eb93d31e90d4b851b;hp=ecd0a56ca4c7296ee95ef05b2e84b71821ac1196;hpb=4fb1afc60e3af83e6184c77ea2cb002def542a96;p=SXSI%2Fxpathcomp.git

diff --git a/src/finiteCofinite.ml b/src/finiteCofinite.ml
index ecd0a56..db6ce31 100644
--- a/src/finiteCofinite.ml
+++ b/src/finiteCofinite.ml
@@ -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)