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.mli | 2 --
 1 file changed, 2 deletions(-)

(limited to 'dev/top_printers.mli')

diff --git a/dev/top_printers.mli b/dev/top_printers.mli
index b4b24d743a..ba7d92f907 100644
--- a/dev/top_printers.mli
+++ b/dev/top_printers.mli
@@ -29,8 +29,6 @@ val ppind : Names.inductive -> unit
 val ppsp : Libnames.full_path -> unit
 val ppqualid : Libnames.qualid -> unit
 
-val ppclindex : Coercionops.cl_index -> unit
-
 val ppscheme : 'a Ind_tables.scheme_kind -> unit
 
 val prrecarg : Declarations.recarg -> Pp.t
-- 
cgit v1.2.3