HomeIsabelle/Phabricator

Change argument type so that it is compatible with big-endian 32-in-64.

Description

Change argument type so that it is compatible with big-endian 32-in-64.

Details

Provenance
dcjmAuthored on May 13 2021, 2:50 PM
Parents
rPOLYML8ee44e4270dc: Fix longWordToTagged for big-endian 32-in-64.
Branches
Unknown
Tags
Unknown