From 98618cfb6b326b70da29348bc5d212e41086f473 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Sat, 15 Aug 2015 19:17:26 +0200
Subject: More parametric type for generalized XML.

---
 printing/richprinter.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'printing/richprinter.ml')

diff --git a/printing/richprinter.ml b/printing/richprinter.ml
index d95e190749..a1c3305bb5 100644
--- a/printing/richprinter.ml
+++ b/printing/richprinter.ml
@@ -5,7 +5,7 @@ module RichppVernac = Ppvernac.Richpp
 module RichppTactic = Pptactic.Richpp
 
 type rich_pp =
-    Ppannotation.t Richpp.located Xml_datatype.gxml
+    (string, Ppannotation.t Richpp.located) Xml_datatype.gxml
     * Xml_datatype.xml
 
 let get_annotations obj = Pp.Tag.prj obj Ppannotation.tag
-- 
cgit v1.2.3