Remove obsolete file

Authored by hvr on Aug 2 2018, 8:46 AM.

Description

Remove obsolete file

This was missed by 0960a37868e6d08857e86465c8ca346b29b1c813

[skip ci]

Details

Committed
hvrAug 2 2018, 8:47 AM
Parents
rGHC120cc9f85ee1: Fix #15415 and simplify tcWildCardBinders
Branches
Unknown
Tags
Unknown