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/base_include | 1 -
 1 file changed, 1 deletion(-)

(limited to 'dev/base_include')

diff --git a/dev/base_include b/dev/base_include
index f375a867bc..061bf1f3e1 100644
--- a/dev/base_include
+++ b/dev/base_include
@@ -16,7 +16,6 @@
 #install_printer  (* kernel_name *) ppkn;;
 #install_printer  (* constant *) ppcon;;
 #install_printer  (* projection *) ppproj;;
-#install_printer  (* cl_index *) ppclindex;;
 #install_printer  (* recarg Rtree.t *)  ppwf_paths;;
 #install_printer  (* constr *)  print_pure_constr;;
 #install_printer  (* patch *) ppripos;;
-- 
cgit v1.2.3