From f2eabc44f93b2b548e25bc2b16b408a9943d4eed Mon Sep 17 00:00:00 2001 From: Emile Trotignon Date: Thu, 23 May 2024 11:21:25 +0200 Subject: [PATCH] remove useless file --- test.ml | 10 ---------- 1 file changed, 10 deletions(-) delete mode 100644 test.ml 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 )