From e813388df8df90d0db658e1e745a0a8a4d27ad8c Mon Sep 17 00:00:00 2001
From: Graydon Hoare <graydon@mozilla.com>
Date: Tue, 6 Jul 2010 23:18:29 -0700
Subject: Numerous bug fixes to typestate algorithm.

---
 src/boot/util/bits.ml | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'src/boot/util/bits.ml')

diff --git a/src/boot/util/bits.ml b/src/boot/util/bits.ml
index 3114bd66..27bb4902 100644
--- a/src/boot/util/bits.ml
+++ b/src/boot/util/bits.ml
@@ -67,6 +67,15 @@ let invert (v:t) : unit =
   done
 ;;
 
+(* dst = dst - src *)
+let difference (dst:t) (src:t) : bool =
+  invert src;
+  let b = intersect dst src in
+    invert src;
+    b
+;;
+
+
 let set (v:t) (i:int) (x:bool) : unit =
   assert (i >= 0);
   assert (i < v.nbits);
-- 
cgit v1.2.3