diff options
Diffstat (limited to 'lib/dyn.mli')
| -rw-r--r-- | lib/dyn.mli | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/lib/dyn.mli b/lib/dyn.mli index e43c8a9bc..d3483cd5f 100644 --- a/lib/dyn.mli +++ b/lib/dyn.mli @@ -59,5 +59,4 @@ end end -(** FIXME: use OCaml 4.02 generative functors when available *) -module Make(M : CSig.EmptyS) : S +module Make () : S |