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.ml | 2 --
 1 file changed, 2 deletions(-)

(limited to 'gramlib/plexing.ml')

diff --git a/gramlib/plexing.ml b/gramlib/plexing.ml
index f99a3c2480..fce5445ad8 100644
--- a/gramlib/plexing.ml
+++ b/gramlib/plexing.ml
@@ -4,8 +4,6 @@
 
 type pattern = string * string
 
-exception Error of string
-
 type location_function = int -> Loc.t
 type 'te lexer_func = char Stream.t -> 'te Stream.t * location_function
 
-- 
cgit v1.2.3