HomeIsabelle/Phabricator

Fix addition when combining an index with a constant offset.

Description

Fix addition when combining an index with a constant offset.

Details

Provenance
dcjmAuthored on Dec 19 2021, 2:30 PM
Parents
rPOLYML9651844dc9bb: Add back=up file for Int missed in last commit.
Branches
Unknown
Tags
Unknown