diff --git a/src/client/opamTest.ml b/src/client/opamTest.ml deleted file mode 100644 index a0e372659fc..00000000000 --- a/src/client/opamTest.ml +++ /dev/null @@ -1 +0,0 @@ -let toto = fun () -> "nothiong!!" diff --git a/src/client/opamTest.mli b/src/client/opamTest.mli deleted file mode 100644 index 0b5a30d9cac..00000000000 --- a/src/client/opamTest.mli +++ /dev/null @@ -1 +0,0 @@ -val toto : unit -> string