From 66cb521749672586fd5b1182b14e3c5d44829616 Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@chimrod.com>
Date: Fri, 3 Sep 2021 17:44:44 +0200
Subject: Extract representation in dedicated library

---
 src/lib/sounds/repr.mli | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 src/lib/sounds/repr.mli

(limited to 'src/lib/sounds/repr.mli')

diff --git a/src/lib/sounds/repr.mli b/src/lib/sounds/repr.mli
deleted file mode 100644
index 7e2e035..0000000
--- a/src/lib/sounds/repr.mli
+++ /dev/null
@@ -1 +0,0 @@
-include Sig.REPR with type t = String.t
-- 
cgit v1.2.3