From 642b641d914ed49e5e3c084eb93d31e90d4b851b Mon Sep 17 00:00:00 2001 From: =?utf8?q?Kim=20Nguy=E1=BB=85n?= Date: Thu, 1 Mar 2012 14:26:59 +0100 Subject: [PATCH] Small optimization (replace lor 1 by + 1) --- src/finiteCofinite.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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) -- 2.17.1