HomeIsabelle/Phabricator

Remove fallback to interpreter from RTS and foreign call. It's no longer…

Description

Remove fallback to interpreter from RTS and foreign call. It's no longer needed.

Details

Provenance
dcjmAuthored on Mar 4 2021, 9:34 AM
Parents
rPOLYML590af4669372: Merge branch 'ARM64Development' into ARM64Testing
Branches
Unknown
Tags
Unknown