diff --git a/src/rope/rope_test.mli b/src/rope/rope_test.mli deleted file mode 100644 index d946fb7e2..000000000 --- a/src/rope/rope_test.mli +++ /dev/null @@ -1,19 +0,0 @@ -module A = struct - (* - open Rope - - val _ : unit - *) -end - -module B = struct - (* - open Rope_top_level_open - - (* type foo = S | NotCaptured *) - (* let d = NotCaptured *) - (* let s = NotCaptured *) - - val _ : unit - *) -end