Closed P1K closed 2 years ago
Fix the conflict implied by the joint merge of PR #257 and the givaro PR linbox-team/givaro#184 Also added a Caster for NTL::ZZ and used it to fix abusive casts of integer to int32_t
Caster
NTL::ZZ
integer
int32_t
Fix the conflict implied by the joint merge of PR #257 and the givaro PR linbox-team/givaro#184 Also added a
Caster
forNTL::ZZ
and used it to fix abusive casts ofinteger
toint32_t