From d632f64403da813e240973a9caf06c79e262a7ec Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Mon, 11 Apr 2016 16:41:49 +0200
Subject: Adding toplevel representation sharing for some generic arguments.

---
 ltac/extraargs.ml4 | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/ltac/extraargs.ml4 b/ltac/extraargs.ml4
index f2dc024c71..fbae17bafc 100644
--- a/ltac/extraargs.ml4
+++ b/ltac/extraargs.ml4
@@ -104,6 +104,7 @@ let glob_occs ist l = l
 let subst_occs evm l = l
 
 ARGUMENT EXTEND occurrences
+  TYPED AS int list
   PRINTED BY pr_int_list_full
 
   INTERPRETED BY interp_occs
@@ -152,6 +153,7 @@ ARGUMENT EXTEND lconstr
 END
 
 ARGUMENT EXTEND lglob
+  TYPED AS glob
     PRINTED BY pr_globc
 
      INTERPRETED BY interp_glob
-- 
cgit v1.2.3