From 87e347c574191f7ddb75adc410110c5c6567e2d5 Mon Sep 17 00:00:00 2001
From: Nicolas Jeannerod <niols@niols.fr>
Date: Mon, 8 May 2023 22:06:40 +0000
Subject: [PATCH] Remove useless `character_range` type (#162)

---
 src/CST.mli | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/src/CST.mli b/src/CST.mli
index 8fe74f8..e0bfe67 100644
--- a/src/CST.mli
+++ b/src/CST.mli
@@ -384,9 +384,6 @@ and character_class =
 and class_name =
   | ClassName of string (* Keyword in the current LC_CTYPE category. *)
 
-and character_range =
-  | Range of char list
-
 and variable =
   | VariableAtom of string * variable_attribute