First list in cl_context is just booleans

Used only by implicit_quantifiers

1 files changed, 1 insertions, 1 deletions

diff --git a/pretyping/typeclasses.ml b/pretyping/typeclasses.ml
index fc71254a46..7479a63762 100644
--- a/pretyping/typeclasses.ml
+++ b/pretyping/typeclasses.ml
@@ -56,7 +56,7 @@ type typeclass = {
   cl_impl : GlobRef.t;
 
   (* Context in which the definitions are typed. Includes both typeclass parameters and superclasses. *)
-  cl_context : GlobRef.t option list * Constr.rel_context;
+  cl_context : bool list * Constr.rel_context;
 
   (* Context of definitions and properties on defs, will not be shared *)
   cl_props : Constr.rel_context;