From 8110e9cbd6d70960a221c316774460f6ad6dc5e9 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Tue, 13 Sep 2016 12:43:52 +0200
Subject: Adding debugging printer for Genarg.ArgT.t.

---
 dev/db              | 1 +
 dev/top_printers.ml | 2 ++
 2 files changed, 3 insertions(+)

(limited to 'dev')

diff --git a/dev/db b/dev/db
index 86e35a3ece..f226291d64 100644
--- a/dev/db
+++ b/dev/db
@@ -51,6 +51,7 @@ install_printer Top_printers.prsubst
 install_printer Top_printers.prdelta
 install_printer Top_printers.ppfconstr
 install_printer Top_printers.ppgenarginfo
+install_printer Top_printers.ppgenargargt
 install_printer Top_printers.ppist
 install_printer Top_printers.ppconstrunderbindersidmap
 install_printer Top_printers.ppunbound_ltac_var_map
diff --git a/dev/top_printers.ml b/dev/top_printers.ml
index e09477014b..e34385e5c3 100644
--- a/dev/top_printers.ml
+++ b/dev/top_printers.ml
@@ -478,6 +478,8 @@ let prgenarginfo arg =
 
 let ppgenarginfo arg = pp (prgenarginfo arg)
 
+let ppgenargargt arg = pp (str (Genarg.ArgT.repr arg))
+
 let ppist ist =
   let pr id arg = prgenarginfo arg in
   pp (pridmap pr ist.Geninterp.lfun)
-- 
cgit v1.2.3