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/chart.mli | 5 -----
 1 file changed, 5 deletions(-)
 delete mode 100644 src/chart.mli

(limited to 'src/chart.mli')

diff --git a/src/chart.mli b/src/chart.mli
deleted file mode 100644
index 3c758c4..0000000
--- a/src/chart.mli
+++ /dev/null
@@ -1,5 +0,0 @@
-type t
-val default      : t
-val plot         : int list -> t -> t
-val with_options : Options.t -> t -> t
-val pp           : out_channel -> t -> unit
-- 
cgit v1.2.3