diff options
Diffstat (limited to 'contrib/subtac/subtac_classes.ml')
| -rw-r--r-- | contrib/subtac/subtac_classes.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/subtac/subtac_classes.ml b/contrib/subtac/subtac_classes.ml index cb3873bdfb..2a8e2e5d90 100644 --- a/contrib/subtac/subtac_classes.ml +++ b/contrib/subtac/subtac_classes.ml @@ -79,7 +79,7 @@ let type_ctx_instance isevars env ctx inst subst = (na, c) :: subst, d :: instctx) (subst, []) (List.rev ctx) inst -let superclass_ce = CRef (Ident (dummy_loc, id_of_string ".superclass")) +(*let superclass_ce = CRef (Ident (dummy_loc, id_of_string ".superclass"))*) let type_class_instance_params isevars env id n ctx inst subst = List.fold_left2 |