HomeIsabelle/Phabricator

Clear no-overwrite word ref values when they are exported. This avoids

Description

Clear no-overwrite word ref values when they are exported. This avoids
exporting the current value and ensures they read back as 0/nil/NONE.

Details

Provenance
dcjmAuthored on Oct 15 2020, 9:36 AM
Parents
rPOLYML8f3d4133c678: Change comment to reflect the changes to the code.
Branches
Unknown
Tags
Unknown