From fa515984a105b523a92394578a8afc55d0e95c5d Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Sun, 30 Sep 2018 12:58:52 +0200
Subject: Typo in top_printers.ml.

---
 dev/top_printers.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev/top_printers.ml b/dev/top_printers.ml
index ced6ea2614..e15fd776b2 100644
--- a/dev/top_printers.ml
+++ b/dev/top_printers.ml
@@ -139,7 +139,7 @@ let safe_pr_global = function
   | ConstRef kn -> pp (str "CONSTREF(" ++ Constant.debug_print kn ++ str ")")
   | IndRef (kn,i) -> pp (str "INDREF(" ++ MutInd.debug_print kn ++ str "," ++
 			  int i ++ str ")")
-  | ConstructRef ((kn,i),j) -> pp (str "INDREF(" ++ MutInd.debug_print kn ++ str "," ++
+  | ConstructRef ((kn,i),j) -> pp (str "CONSTRUCTREF(" ++ MutInd.debug_print kn ++ str "," ++
 				      int i ++ str "," ++ int j ++ str ")")
   | VarRef id -> pp (str "VARREF(" ++ Id.print id ++ str ")")
 
-- 
cgit v1.2.3