diff options
Diffstat (limited to 'lib/predicate.ml')
| -rw-r--r-- | lib/predicate.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/predicate.ml b/lib/predicate.ml index b2e40d3cf..af66c0f28 100644 --- a/lib/predicate.ml +++ b/lib/predicate.ml @@ -44,7 +44,7 @@ module type S = module Make(Ord: OrderedType) = struct module EltSet = Set.Make(Ord) - + (* when bool is false, the denoted set is the complement of the given set *) type elt = Ord.t |