HomeIsabelle/Phabricator

Fix another case where the optimiser added a new tuple but didn't set the…

Description

Fix another case where the optimiser added a new tuple but didn't set the argument type correctly.

Details

Provenance
dcjmAuthored on Jan 7 2022, 9:37 AM
Parents
rPOLYML4c9b9ada1d9c: Fix the optimiser so that it sets the correct argument type for newly…
Branches
Unknown
Tags
Unknown