diff --git a/test.ml b/test.ml deleted file mode 100644 index 53b1bd9239..0000000000 --- a/test.ml +++ /dev/null @@ -1,10 +0,0 @@ -let _ = - fun (module Store : Irmin.Generic_key.S with type repo = repo) - (module Store : Irmin.Generic_key.S with type repo = repo) - -> body - -let _ = - f - (fun (module Store : Irmin.Generic_key.S with type repo = repo) - (module Store : Irmin.Generic_key.S with type repo = repo) - -> body )