From 1f79e8f1f0f59748497665ccee544163c5136562 Mon Sep 17 00:00:00 2001
From: Chimrod <>
Date: Fri, 29 Sep 2023 09:27:22 +0200
Subject: Fixed a wrong location for string

---
 lib/encoding.ml | 3 ---
 1 file changed, 3 deletions(-)
 delete mode 100644 lib/encoding.ml

(limited to 'lib/encoding.ml')

diff --git a/lib/encoding.ml b/lib/encoding.ml
deleted file mode 100644
index 30b9c4e..0000000
--- a/lib/encoding.ml
+++ /dev/null
@@ -1,3 +0,0 @@
-module type S = sig
-  val lexeme : Sedlexing.lexbuf -> string
-end
-- 
cgit v1.2.3