HomeIsabelle/Phabricator

Fix the problem with restoring length words of code areas when the constant…

Description

Fix the problem with restoring length words of code areas when the constant area has been split off.

Details

Provenance
dcjmAuthored on Nov 18 2020, 5:35 PM
Parents
rPOLYMLdee95dad8c4a: Merge branch 'BootFromInterpreter' into SeparateCodeAndConsts
Branches
Unknown
Tags
Unknown