diff options
author | 2016-05-09 16:08:50 +0200 | |
---|---|---|
committer | 2016-05-10 19:28:24 +0200 | |
commit | 6150d15647afc739329019f7e9de595187ecc282 (patch) | |
tree | 9dd5b05f3063e9ae0a0660089e6edb8c17e727b2 /grammar/argextend.ml4 | |
parent | 9891f2321f13861e3f48ddb28abcd5a77be30791 (diff) |
Removing the Entry module now that rules need not be marshalled.
Diffstat (limited to 'grammar/argextend.ml4')
-rw-r--r-- | grammar/argextend.ml4 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/grammar/argextend.ml4 b/grammar/argextend.ml4 index 0e52dc948..9be6c6bc4 100644 --- a/grammar/argextend.ml4 +++ b/grammar/argextend.ml4 @@ -42,7 +42,7 @@ let make_act loc act pil = let make_prod_item = function | ExtTerminal s -> <:expr< Extend.Atoken (CLexer.terminal $mlexpr_of_string s$) >> | ExtNonTerminal (g, _) -> - let base s = <:expr< Pcoq.name_of_entry $lid:s$ >> in + let base s = <:expr< $lid:s$ >> in mlexpr_of_prod_entry_key base g let rec make_prod = function |