diff options
Diffstat (limited to 'lib/store.ml')
-rw-r--r-- | lib/store.ml | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/lib/store.ml b/lib/store.ml index a1788f7da..97a8fea08 100644 --- a/lib/store.ml +++ b/lib/store.ml @@ -14,10 +14,6 @@ stores, we might want something static to avoid troubles with plugins order. *) -module type T = -sig -end - module type S = sig type t @@ -30,7 +26,7 @@ sig val field : unit -> 'a field end -module Make (M : T) : S = +module Make () : S = struct let next = |