[m-dev.] diff: tvar renaming bug fix

[Simon Taylor]

> @@ -2109,35 +1998,43 @@
>  
>          poly_info_get_proofs(Info0, Proofs),
>  
> -        poly_info_get_varset(Info0, VarSet0),
> -        ClassDefn = hlds_class_defn(SuperClasses, ClassVars, _, ClassVarSet, _),
> -        map__from_corresponding_lists(ClassVars, InstanceTypes, TypeSubst),
> +        poly_info_get_typevarset(Info0, VarSet0),
> +        ClassDefn = hlds_class_defn(SuperClasses0, ClassVars0, 
> +                _, ClassVarSet, _),
>          varset__merge_subst(VarSet0, ClassVarSet, VarSet1, Subst),
> -        poly_info_set_varset(VarSet1, Info0, Info1),
> +        poly_info_set_typevarset(VarSet1, Info0, Info1),
> +

s/VarSet/TVarSet/

Otherwise that looks good, commit it.

Simon.