diff options
Diffstat (limited to 'lib/util.ml')
| -rw-r--r-- | lib/util.ml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/lib/util.ml b/lib/util.ml index fb71357ba..32ebb30ad 100644 --- a/lib/util.ml +++ b/lib/util.ml @@ -543,8 +543,6 @@ type ('a,'b) union = Inl of 'a | Inr of 'b module Intset = Set.Make(struct type t = int let compare = compare end) -let intset_exists p s = Intset.fold (fun x b -> (p x) || b) s false - module Intmap = Map.Make(struct type t = int let compare = compare end) let intmap_in_dom x m = |