Vincent Laporte
c54ee72442
coqPackages.MenhirLib: 20250903 → 20260203 ocamlPackages.dolmen: disable tests
20 lines
498 B
Diff
20 lines
498 B
Diff
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
|