1 files changed, 0 insertions, 4 deletions

diff --git a/src/marker.mli b/src/marker.mli
deleted file mode 100644
index 391916b..0000000
--- a/src/marker.mli
+++ /dev/null
@@ -1,4 +0,0 @@
-type t
-val of_string : string -> t
-val pp        : out_channel -> t -> unit
-