diff options
Diffstat (limited to 'intf/extend.mli')
| -rw-r--r-- | intf/extend.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/intf/extend.mli b/intf/extend.mli index 7ba332f70..99401d06f 100644 --- a/intf/extend.mli +++ b/intf/extend.mli @@ -8,7 +8,7 @@ (** Entry keys for constr notations *) -type 'a entry = 'a Compat.GrammarMake(CLexer).entry +type 'a entry = 'a Grammar.GMake(CLexer).Entry.e type side = Left | Right |