HomeIsabelle/Phabricator
Diffusion Poly/ML 304e1366429e

Missed closing parenthesis.
304e1366429e
Actions

Description

Missed closing parenthesis.

Details

Provenance
dcjmAuthored on Mar 11 2021, 1:14 PM
Parents
rPOLYMLc1e61a680bd5: Shorten branches where possible. Include ldaxr/stlxr in with the…
Branches
Unknown
Tags
Unknown

Changes (1)

PathSize
libpolyml/

rPOLYML304e1366429e

View Options

libpolyml/quick_gc.cpp

Loading...