From d6b6deb1cb02dca80349aa30221ea8569e72d9da Mon Sep 17 00:00:00 2001
From: Regis-Gianas
Date: Tue, 4 Nov 2014 12:05:53 +0100
Subject: printing/RichPrinter: New API for rich pretty-printing.
 printing/Ppannotation: Define the projection of annotations into XML
 attributes. lib/richPp: Implements valid entities escaping.

---
 printing/ppannotation.ml | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'printing/ppannotation.ml')

diff --git a/printing/ppannotation.ml b/printing/ppannotation.ml
index 3274a7bdcf..b739dcaeb9 100644
--- a/printing/ppannotation.ml
+++ b/printing/ppannotation.ml
@@ -14,3 +14,11 @@ type t =
   | AUnparsing  of unparsing
   | AConstrExpr of constr_expr
   | AVernac     of vernac_expr
+
+let tag_of_annotation = function
+  | AUnparsing _  -> "unparsing"
+  | AConstrExpr _ -> "constr_expr"
+  | AVernac _     -> "vernac_expr"
+
+let attributes_of_annotation a =
+  []
-- 
cgit v1.2.3