HomeIsabelle/Phabricator

Remove unused variable. This should have been removed in commit 889f7c37.

Description

Remove unused variable. This should have been removed in commit 889f7c37.

Details

Provenance
dcjmAuthored on Jan 18 2020, 5:03 PM
Parents
rPOLYMLabb79876106c: Fix case problem in one entry.
Branches
Unknown
Tags
Unknown