diff options
Diffstat (limited to 'lib/cSig.mli')
| -rw-r--r-- | lib/cSig.mli | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/lib/cSig.mli b/lib/cSig.mli index 151cfbdca..6910cbbf0 100644 --- a/lib/cSig.mli +++ b/lib/cSig.mli @@ -48,8 +48,6 @@ end (** Redeclaration of OCaml set signature, to preserve compatibility. See OCaml documentation for more information. *) -module type EmptyS = sig end - module type MapS = sig type key |