From 13c50b98b0a294a6056d2e00a0de44cedca7af12 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Tue, 16 Feb 2016 20:03:45 +0100
Subject: Removing dead code in Pcoq.

---
 toplevel/metasyntax.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'toplevel')

diff --git a/toplevel/metasyntax.ml b/toplevel/metasyntax.ml
index 82bd5dac4c..e5edc74222 100644
--- a/toplevel/metasyntax.ml
+++ b/toplevel/metasyntax.ml
@@ -48,7 +48,7 @@ let add_token_obj s = Lib.add_anonymous_leaf (inToken s)
 let interp_prod_item lev = function
   | TacTerm s -> GramTerminal s
   | TacNonTerm (loc, nt, (_, sep)) ->
-      let EntryName (etyp, e) = interp_entry_name (TgTactic lev) nt sep in
+      let EntryName (etyp, e) = interp_entry_name lev nt sep in
       GramNonTerminal (loc, etyp, e)
 
 let make_terminal_status = function
-- 
cgit v1.2.3