diff options
Diffstat (limited to 'lib/predicate.ml')
-rw-r--r-- | lib/predicate.ml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/lib/predicate.ml b/lib/predicate.ml index af66c0f28..e419aa6e9 100644 --- a/lib/predicate.ml +++ b/lib/predicate.ml @@ -10,8 +10,6 @@ (* *) (************************************************************************) -(* $Id$ *) - (* Sets over ordered types *) module type OrderedType = |