HomeIsabelle/Phabricator

Fix use of "print" rather than "stream" for debugging.

Description

Fix use of "print" rather than "stream" for debugging.

Details

Provenance
dcjmAuthored on Jul 3 2020, 9:36 AM
Parents
rPOLYMLef44a8b94c08: Merge pull request #135 from pclayton/fix-largeword-fromint
Branches
Unknown
Tags
Unknown