From 7de7b756e6e3168a5bfb579470031d999a6e8585 Mon Sep 17 00:00:00 2001
From: Chimrod <>
Date: Fri, 29 Sep 2023 10:33:48 +0200
Subject: Cleaned the code, removed the old Ephemeron trick

---
 lib/lexer.mli | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'lib/lexer.mli')

diff --git a/lib/lexer.mli b/lib/lexer.mli
index 65e9fa0..585877c 100644
--- a/lib/lexer.mli
+++ b/lib/lexer.mli
@@ -1,7 +1,3 @@
-module type Encoding = sig
-  val lexeme : Sedlexing.lexbuf -> string
-end
-
 exception EOF
 
 val token : Lexbuf.t -> Tokens.token
-- 
cgit v1.2.3