From bc3981687cd363820e35e5a2bd037d50e213f524 Mon Sep 17 00:00:00 2001 From: Pierre-Marie Pédrot Date: Tue, 10 May 2016 19:42:39 +0200 Subject: Overlooked use of Gram instead of G module in Pcoq. This was probably wreaking havoc in tricky undo-redo scenarii. --- parsing/pcoq.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'parsing/pcoq.ml') diff --git a/parsing/pcoq.ml b/parsing/pcoq.ml index 8fa5da4bd..305cd4f80 100644 --- a/parsing/pcoq.ml +++ b/parsing/pcoq.ml @@ -572,7 +572,7 @@ let epsilon_value f e = let r = Rule (Next (Stop, e), fun x _ -> f x) in let ext = of_coq_extend_statement (None, [None, None, [r]]) in let entry = G.entry_create "epsilon" in - let () = maybe_uncurry (Gram.extend entry) ext in + let () = maybe_uncurry (G.extend entry) ext in try Some (parse_string entry "") with _ -> None (** Registering grammar of generic arguments *) -- cgit v1.2.3