HomeIsabelle/Phabricator

Change all the casts from PolyWord* to stackItem*. Some had been missed.

Authored by dcjm on Wed, Jul 29, 6:18 PM.

Description

Change all the casts from PolyWord* to stackItem*. Some had been missed.

Details

Committed
dcjmWed, Jul 29, 6:18 PM
Parents
rPOLYML2fdff98984e6: Add Unix socket test. This was added in another branch.
Branches
Unknown
Tags
Unknown