HomeIsabelle/Phabricator

use addr_bitsize instead of hard-coded number 32

Description

use addr_bitsize instead of hard-coded number 32

Details

Provenance
Rene Thiemann <rene.thiemann@uibk.ac.at>Authored on
Parents
rAFP8c7a3c77d39b: merge from afp-2023
Branches
Unknown
Tags
Unknown