From 4bbbaff29bb748800636c7c737fdbda3a2ee819d Mon Sep 17 00:00:00 2001
From: Kazuhiko Sakaguchi
Date: Sat, 6 Mar 2021 22:19:41 +0900
Subject: Replace cl_index with cl_typ in coercionops.ml

The table of coercion classes `class_tab` is now indexed by `cl_typ` instead of
integers (`cl_index`). All the uses of `cl_index` and `Bijint` have been
replaced with `cl_typ` and `ClTypMap` respectively.
---
 dev/top_printers.ml | 1 -
 1 file changed, 1 deletion(-)

(limited to 'dev/top_printers.ml')

diff --git a/dev/top_printers.ml b/dev/top_printers.ml
index f8fd8b3d5b..67fe7b980b 100644
--- a/dev/top_printers.ml
+++ b/dev/top_printers.ml
@@ -52,7 +52,6 @@ let ppmind kn = pp(MutInd.debug_print kn)
 let ppind (kn,i) = pp(MutInd.debug_print kn ++ str"," ++int i)
 let ppsp sp = pp(pr_path sp)
 let ppqualid qid = pp(pr_qualid qid)
-let ppclindex cl = pp(Coercionops.pr_cl_index cl)
 let ppscheme k = pp (Ind_tables.pr_scheme_kind k)
 
 let prrecarg = Declareops.pp_recarg
-- 
cgit v1.2.3