balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

remove rope

Browse Source
This commit is contained in:
Pierre-Emmanuel Wulfman 2019-11-20 17:27:32 +01:00
parent bc6966dbca
commit cdb36167f9
1 changed files with 0 additions and 19 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
src/rope/rope_test.mli
View File

@ -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