HomeIsabelle/Phabricator

Remove test for exceptions in RTS calls from the call itself. The test is done…

Description

Remove test for exceptions in RTS calls from the call itself. The test is done in the caller for "full" calls.

Details

Provenance
dcjmAuthored on Mar 13 2021, 2:19 PM
Parents
rPOLYMLaa60e488bd5d: Update comment on register use.
Branches
Unknown
Tags
Unknown