From 9632987e1eb0b035c760ab293e785c752d5eac92 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Sun, 12 Oct 2014 09:59:32 +0200
Subject: Adding printers for ppproofview.

---
 dev/include | 1 +
 1 file changed, 1 insertion(+)

(limited to 'dev/include')

diff --git a/dev/include b/dev/include
index 069622a028..7f72f55d9d 100644
--- a/dev/include
+++ b/dev/include
@@ -62,6 +62,7 @@
 (*#install_printer  (* sigma goal *)  ppsigmagoal;;*)
 (*#install_printer  (* proof *)  pproof;;*)
 #install_printer  (* Goal.goal *)  ppgoalgoal;;
+#install_printer  (* proofview *)  ppproofview;;
 #install_printer  (* metaset.t *) ppmetas;;
 #install_printer  (* evar *)  ppevar;;
 #install_printer  (* evar_map *)  ppevm;;
-- 
cgit v1.2.3