HomeIsabelle/Phabricator

Move one opcode value because the value was still being used during the…

Description

Move one opcode value because the value was still being used during the bootstrap.

Details

Provenance
dcjmAuthored on Oct 11 2020, 7:40 PM
Parents
rPOLYML08840a0770ca: Remove the intermediate stage instructions and add a couple of reduced…
Branches
Unknown
Tags
Unknown