HomeIsabelle/Phabricator

Use a uintptr_t for allocSize instead of a POLYUNSIGNED. This brings it into…
38dd6f8dba83Unpublished

Unpublished Commit · Learn More

  • Repository Importing: This repository is still importing.
  • Not On Permanent Ref: This commit is not an ancestor of any permanent ref.

Description

Use a uintptr_t for allocSize instead of a POLYUNSIGNED. This brings it into line with sizes elsewhere.

Details

Provenance
dcjmAuthored on Jan 23 2019, 4:40 PM
Parents
rPOLYML1df55e3556e5: Add Unix basicio.cpp to Visual Studio project but excluded from all builds.
Branches
Unknown
Tags
Unknown

Event Timeline