HomeIsabelle/Phabricator

Fix for 32-in-64 on Unix. We can't use mlArg2Reg for the argument area pointer…

Description

Fix for 32-in-64 on Unix. We can't use mlArg2Reg for the argument area pointer because it uses RSI
which is itself an argument register.

Details

Provenance
dcjmAuthored on May 2 2019, 10:51 PM
Parents
rPOLYMLa63dd183a786: Convert PolyObject * in first argument to FirstArgument type. This was missed…
Branches
Unknown
Tags
Unknown