From b5420538da04984ca42eb4284a9be27f3b5ba021 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Fri, 8 Apr 2016 00:58:56 +0200
Subject: Fixing printing of toplevel values.

This is not perfect yet, in particular the whole precedence system is a real
mess, as there is a real need for tidying up the Pptactic implementation.
Nonetheless, printing toplevel values is only used for debugging purposes, where
an ugly display is better than none at all.
---
 dev/top_printers.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dev')

diff --git a/dev/top_printers.ml b/dev/top_printers.ml
index 141eab3f3f..29ea08e025 100644
--- a/dev/top_printers.ml
+++ b/dev/top_printers.ml
@@ -468,7 +468,7 @@ let pp_generic_argument arg =
 
 let prgenarginfo arg =
   let Val.Dyn (tag, _) = arg in
-  let tpe = Val.repr tag in
+  let tpe = Val.pr tag in
   (** FIXME *)
 (*   try *)
 (*     let data = Pptactic.pr_top_generic (Global.env ()) arg in *)
-- 
cgit v1.2.3