From 6150d15647afc739329019f7e9de595187ecc282 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Mon, 9 May 2016 16:08:50 +0200
Subject: Removing the Entry module now that rules need not be marshalled.

---
 grammar/argextend.ml4 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'grammar/argextend.ml4')

diff --git a/grammar/argextend.ml4 b/grammar/argextend.ml4
index 0e52dc948a..9be6c6bc4a 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
-- 
cgit v1.2.3