From cdb36167f9f1d3f489d2547bf6cc14a61d7fe0f4 Mon Sep 17 00:00:00 2001
From: Pierre-Emmanuel Wulfman <pierre.emmanuel.wulfman@gmail.com>
Date: Wed, 20 Nov 2019 17:27:32 +0100
Subject: [PATCH] remove rope

---
 src/rope/rope_test.mli | 19 -------------------
 1 file changed, 19 deletions(-)
 delete mode 100644 src/rope/rope_test.mli

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