HomeIsabelle/Phabricator
Diffusion Poly/ML 54325ffae419

Remove foreignStack from Taskdata. It is no longer used.
54325ffae419Unpublished
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 foreignStack from Taskdata. It is no longer used.

Details

Provenance
dcjmAuthored on Apr 10 2019, 4:39 PM
Parents
rPOLYML649c3a60cf21: Clean up ifdefs that select between Windows and Unix code. Assume that pthread…
Branches
Unknown
Tags
Unknown

Event Timeline

Changes (2)

PathSize
libpolyml/

rPOLYML54325ffae419

View Options

libpolyml/processes.cpp

Loading...
View Options

libpolyml/processes.h

Loading...