HomeIsabelle/Phabricator

Use reraise rather than raise to pass on unhandled exceptions in nonBlocking.

Description

Use reraise rather than raise to pass on unhandled exceptions in nonBlocking. It may be more helpful.

Details

Provenance
dcjmAuthored on Jan 25 2019, 7:00 PM
Parents
rPOLYML84cbf8b87624: Fix change to select. It was testing the wrong vector for the exception result.
Branches
Unknown
Tags
Unknown