From 86402b208d4e925a15146a2541c937590320e9e0 Mon Sep 17 00:00:00 2001
From: Akshay <nerdy@peppe.rs>
Date: Sun, 8 Aug 2021 18:29:00 +0530
Subject: format

---
 src/marker.mli | 4 ----
 1 file changed, 4 deletions(-)
 delete mode 100644 src/marker.mli

(limited to 'src/marker.mli')

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
-
-- 
cgit v1.2.3