From 2bdd0f98ea8fa2444e4198d7be160a189aa5f933 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Tue, 5 Feb 2019 16:13:14 +0100
Subject: Remove the Plexing.Error exception.

This was dead code, it was never raised ever.
---
 gramlib/plexing.mli | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'gramlib/plexing.mli')

diff --git a/gramlib/plexing.mli b/gramlib/plexing.mli
index eed4082e00..6139dc4020 100644
--- a/gramlib/plexing.mli
+++ b/gramlib/plexing.mli
@@ -19,9 +19,6 @@ type pattern = string * string
 -      The way tokens patterns are interpreted to parse tokens is done
        by the lexer, function [tok_match] below. *)
 
-exception Error of string
-    (** A lexing error exception to be used by lexers. *)
-
 (** Lexer type *)
 
 type 'te lexer =
-- 
cgit v1.2.3