diff options
Diffstat (limited to 'toplevel/class.ml')
| -rw-r--r-- | toplevel/class.ml | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/toplevel/class.ml b/toplevel/class.ml index dbd0885559..35e8e5b87a 100644 --- a/toplevel/class.ml +++ b/toplevel/class.ml @@ -328,12 +328,11 @@ let coercion_syntax idf ps clt = | _ -> coercion_syntax_entry idf ps let add_new_coercion_in_graph1 (coef,v,stre,isid,cls,clt) idf ps = - let _ = add_anonymous_leaf - (inCoercion - ((coef, - {cOE_VALUE=v;cOE_STRE=stre;cOE_ISID=isid;cOE_PARAM=ps}), - cls,clt)) - in + add_anonymous_leaf + (inCoercion + ((coef, + {cOE_VALUE=v;cOE_STRE=stre;cOE_ISID=isid;cOE_PARAM=ps}), + cls,clt)); coercion_syntax idf ps clt (* |