aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/store.ml
diff options
context:
space:
mode:
Diffstat (limited to 'lib/store.ml')
-rw-r--r--lib/store.ml6
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 =