Remove the Plexing.Error exception.

This was dead code, it was never raised ever.

1 files changed, 0 insertions, 5 deletions

diff --git a/gramlib/grammar.ml b/gramlib/grammar.ml
index 0ad11d075f..e959e9b9e6 100644
--- a/gramlib/grammar.ml
+++ b/gramlib/grammar.ml
@@ -663,13 +663,8 @@ let init_entry_functions entry =
        entry.econtinue <- f; f lev bp a strm)
 
 let extend_entry ~warning entry position rules =
-  try
     let elev = Gramext.levels_of_rules ~warning entry position rules in
     entry.edesc <- Dlevels elev; init_entry_functions entry
-  with Plexing.Error s ->
-    Printf.eprintf "Lexer initialization error:\n- %s\n" s;
-    flush stderr;
-    failwith "Grammar.extend"
 
 (* Deleting a rule *)