HomeIsabelle/Phabricator

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

Authored by dcjm on Jan 18 2020, 5:03 PM.

Description

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

Details

Committed
dcjmJan 18 2020, 5:03 PM
Parents
rPOLYMLabb79876106c: Fix case problem in one entry.
Branches
Unknown
Tags
Unknown