diff options
| -rw-r--r-- | toplevel/class.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/toplevel/class.ml b/toplevel/class.ml index 587caae76e..40ecc11c38 100644 --- a/toplevel/class.ml +++ b/toplevel/class.ml @@ -459,6 +459,7 @@ let process_cl sec_sp cl = (* Pour le discharge *) let process_coercion sec_sp (((coe,coeinfo),s,t) as x) = + (* Buggé: faut mettre à jour le nombre de paramètres dans coeinfo *) let s1= process_cl sec_sp s in let t1 = process_cl sec_sp t in match coe with |