HomeIsabelle/Phabricator
Diffusion Poly/ML f1d41a9330e7

Remove unused variable.
f1d41a9330e7
Actions

Description

Remove unused variable.

Details

Provenance
dcjmAuthored on Nov 6 2020, 4:28 PM
Parents
rPOLYML8df90e16c8d9: Enable 32-in-64 bit mode for the interpreted version.
Branches
Unknown
Tags
Unknown

Changes (1)

PathSize
libpolyml/

rPOLYMLf1d41a9330e7

View Options

libpolyml/pexport.cpp

Loading...