HomeIsabelle/Phabricator

Only call PolyIsBigEndian when the code segment is being created. It was…

Description

Only call PolyIsBigEndian when the code segment is being created. It was calling it when the structure was defined.

Details

Provenance
dcjmAuthored on May 6 2021, 9:37 AM
Parents
rPOLYML42ada6abe712: Remove 5.8.1 compatibility files.
Branches
Unknown
Tags
Unknown