diff options
Diffstat (limited to 'pretyping/classops.ml')
| -rwxr-xr-x | pretyping/classops.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pretyping/classops.ml b/pretyping/classops.ml index 89542564dd..dd35be0fba 100755 --- a/pretyping/classops.ml +++ b/pretyping/classops.ml @@ -239,7 +239,7 @@ let stre_of_cl = function if is_constant sp then constant_or_parameter_strength sp else NeverDischarge | CL_Var id -> - variable_strength id + variable_strength (make_qualid [] (string_of_id id)) | _ -> NeverDischarge (* coe_value : int -> Term.constr * bool *) |