Isabell ptrtyp value depends on the architecture

au-ts / cogent

Cogent Project

Other

158 stars 26 forks source link

Closed amblafont closed 3 years ago

amblafont commented 4 years ago

fixes Isabell compilation for 64bits architecture

zilinc commented 3 years ago

subsumed by 90f9d198c723721249c225482bc393286f0e9010