diff options
Diffstat (limited to 'lib/predicate.ml')
-rw-r--r-- | lib/predicate.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/predicate.ml b/lib/predicate.ml index 93b74463..af66c0f2 100644 --- a/lib/predicate.ml +++ b/lib/predicate.ml @@ -10,7 +10,7 @@ (* *) (************************************************************************) -(* $Id: predicate.ml 5920 2004-07-16 20:01:26Z herbelin $ *) +(* $Id$ *) (* Sets over ordered types *) @@ -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 |