From: Kim Nguyễn <kn@lri.fr>
Date: Sun, 10 Mar 2013 18:05:36 +0000 (+0100)
Subject: Fix a nasty bug in PtSet module (intersect function was the one
X-Git-Tag: v0.1~139
X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=commitdiff_plain;h=e4c67ab0a7c5d8f8ac51eabf84233dc375a06a30

Fix a nasty bug in PtSet module (intersect function was the one
for little-endian patricia trees and therefore buggy)
---

diff --git a/src/utils/ptset.ml b/src/utils/ptset.ml
index 3de13bc..f9bbd03 100644
--- a/src/utils/ptset.ml
+++ b/src/utils/ptset.ml
@@ -15,7 +15,7 @@
 (***********************************************************************)
 
 (*
-  Time-stamp: <Last modified on 2013-03-05 01:49:52 CET by Kim Nguyen>
+  Time-stamp: <Last modified on 2013-03-10 18:18:54 CET by Kim Nguyen>
 *)
 
 (* Modified by Kim Nguyen *)
@@ -353,9 +353,9 @@ struct
     | Branch (p1,m1,l1,r1), Branch (p2,m2,l2,r2) ->
         if m1 == m2 && p1 == p2 then
         intersect l1 l2 || intersect r1 r2
-        else if m1 < m2 && match_prefix p2 p1 m1 then
+        else if m1 > m2 && match_prefix p2 p1 m1 then
         intersect (if zero_bit p2 m1 then l1 else r1) s2
-        else if m1 > m2 && match_prefix p1 p2 m2 then
+        else if m1 < m2 && match_prefix p1 p2 m2 then
         intersect s1 (if zero_bit p1 m2 then l2 else r2)
         else
         false