blob: 71b71944147bac435e4286d598c077f3c148fa26 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
diff --git a/src/ExtMenhirLib.ml b/src/ExtMenhirLib.ml
index 332a47e..2582ca8 100644
--- a/src/ExtMenhirLib.ml
+++ b/src/ExtMenhirLib.ml
@@ -10,14 +10,6 @@
(**************************************************************************)
open Parser.MenhirInterpreter
-open MenhirLib.General
-
-let current_items parsing_state =
- match Lazy.force (stack parsing_state) with
- | Nil ->
- []
- | Cons (Element (s, _, _, _), _) ->
- items s
type 'a status =
| AcceptedNow of 'a
|
