From 54fb2cdf7bb5c45f5a237b2559fd26d90d8f4df1 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Sat, 15 Aug 2015 19:27:43 +0200
Subject: More invariants in Richpp.

We ensure statically by typing that the tags used by the rich printer
are integers. Furthermore, we also expose through typing that tags are
irrelevants in the returned XML.
---
 printing/richprinter.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'printing/richprinter.mli')

diff --git a/printing/richprinter.mli b/printing/richprinter.mli
index 3875e17237..0621e606b6 100644
--- a/printing/richprinter.mli
+++ b/printing/richprinter.mli
@@ -23,7 +23,7 @@ type rich_pp =
 
     (** - a generalized semi-structured document whose attributes are
         annotations ; *)
-    (string, Ppannotation.t Richpp.located) Xml_datatype.gxml
+    (unit, Ppannotation.t Richpp.located) Xml_datatype.gxml
 
     (** - an XML document, representing annotations as usual textual
         XML attributes. *)
-- 
cgit v1.2.3