From 72bed859fb8d037044abd8a1518661c52502f7be Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Tue, 27 Oct 2015 11:44:58 +0100
Subject: Type-safe Egramml.grammar_prod_item.

---
 dev/top_printers.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'dev')

diff --git a/dev/top_printers.ml b/dev/top_printers.ml
index 7b807a343a..b3b1ae0e91 100644
--- a/dev/top_printers.ml
+++ b/dev/top_printers.ml
@@ -519,7 +519,7 @@ let _ =
   extend_vernac_command_grammar ("PrintConstr", 0) None
     [GramTerminal "PrintConstr";
       GramNonTerminal
-        (Loc.ghost,ConstrArgType,Aentry (Entry.unsafe_of_name ("constr","constr")),
+        (Loc.ghost,rawwit wit_constr,Aentry (Entry.unsafe_of_name ("constr","constr")),
 	 Some (Names.Id.of_string "c"))]
 
 let _ =
@@ -536,7 +536,7 @@ let _ =
   extend_vernac_command_grammar ("PrintPureConstr", 0) None
     [GramTerminal "PrintPureConstr";
       GramNonTerminal
-        (Loc.ghost,ConstrArgType,Aentry (Entry.unsafe_of_name ("constr","constr")),
+        (Loc.ghost,rawwit wit_constr,Aentry (Entry.unsafe_of_name ("constr","constr")),
 	 Some (Names.Id.of_string "c"))]
 
 (* Setting printer of unbound global reference *)
-- 
cgit v1.2.3