From 83def9eb07b5c3c5ddb9e9873677e61b518ec0e2 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 4 Jul 2005 14:01:21 +0000
Subject: [PATCH] pretty printing of URIs

---
 helm/matita/.ocamlinit | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/helm/matita/.ocamlinit b/helm/matita/.ocamlinit
index ba19e4e2d..f5c30f839 100644
--- a/helm/matita/.ocamlinit
+++ b/helm/matita/.ocamlinit
@@ -21,9 +21,15 @@
 #directory "../ocaml/xmldiff"
 
 (* custom printers *)
+let fppuri ppf uri =
+ let s = UriManager.string_of_uri uri in
+  Format.pp_print_string ppf s
+;;
+
 #install_printer CicMetaSubst.fppsubst;;
 #install_printer CicMetaSubst.fppterm;;
 #install_printer CicMetaSubst.fppmetasenv;;
+#install_printer fppuri;;
 
 (* utility functions *)
 let go = MatitacLib.go;;
-- 
2.39.2