HomeIsabelle/Phabricator

Fix byte offset to flags in big-endian mode. The value in 201979c8 was wrong.

Description

Fix byte offset to flags in big-endian mode. The value in 201979c8 was wrong.

Details

Provenance
dcjmAuthored on May 13 2021, 4:55 PM
Parents
rPOLYMLde553b7fde0a: Fix incorrect mask in 8ee44e4.
Branches
Unknown
Tags
Unknown