HomeIsabelle/Phabricator

Don't try to print a value with stringOfWord: it may not be a valid address.

Description

Don't try to print a value with stringOfWord: it may not be a valid address.

Details

Provenance
dcjmAuthored on Dec 27 2021, 8:31 PM
Parents
rPOLYML87de8368dabe: Fix initialisation of multiple items.
Branches
Unknown
Tags
Unknown