diff options
Diffstat (limited to 'lib/cSig.mli')
| -rw-r--r-- | lib/cSig.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/cSig.mli b/lib/cSig.mli index 2a8bda293..4463e8d9c 100644 --- a/lib/cSig.mli +++ b/lib/cSig.mli @@ -45,3 +45,5 @@ sig end (** Redeclaration of OCaml set signature, to preserve compatibility. See OCaml documentation for more information. *) + +module type EmptyS = sig end |