HomeIsabelle/Phabricator
Diffusion Poly/ML 2356b65489a0

Remove unnecessary newlines when printing.
2356b65489a0Unpublished
Actions

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

Remove unnecessary newlines when printing.

Details

Provenance
dcjmAuthored on Aug 28 2016, 10:02 AM
Parents
rPOLYMLa59fbbc73b6d: Add stack reset to tail recursion and returns.
Branches
Unknown
Tags
Unknown

Event Timeline

Changes (1)

PathSize
mlsource/
MLCompiler/
CodeTree/
X86Code/

rPOLYML2356b65489a0

View Options

mlsource/MLCompiler/CodeTree/X86Code/X86OUTPUTCODE.ML

Loading...