From 9be835c4f16b3bc08ff9540a6854ced2d8185cb2 Mon Sep 17 00:00:00 2001
From: Gaetan Gilbert
Date: Fri, 21 Apr 2017 20:09:05 +0200
Subject: Remove unused constructors

---
 parsing/cLexer.ml4 | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

(limited to 'parsing')

diff --git a/parsing/cLexer.ml4 b/parsing/cLexer.ml4
index 18942ac295..4629058083 100644
--- a/parsing/cLexer.ml4
+++ b/parsing/cLexer.ml4
@@ -99,7 +99,6 @@ module Error = struct
     | Unterminated_string
     | Undefined_token
     | Bad_token of string
-    | UnsupportedUnicode of int
 
   exception E of t
 
@@ -110,9 +109,7 @@ module Error = struct
          | Unterminated_comment -> "Unterminated comment"
          | Unterminated_string -> "Unterminated string"
          | Undefined_token -> "Undefined token"
-         | Bad_token tok -> Format.sprintf "Bad token %S" tok
-         | UnsupportedUnicode x ->
-             Printf.sprintf "Unsupported Unicode character (0x%x)" x)
+         | Bad_token tok -> Format.sprintf "Bad token %S" tok)
 
 end
 open Error
-- 
cgit v1.2.3