Remove unused liftTcCoSubstWith
authorJoachim Breitner <mail@joachim-breitner.de>
Wed, 27 Nov 2013 14:26:33 +0000 (14:26 +0000)
committerJoachim Breitner <mail@joachim-breitner.de>
Wed, 27 Nov 2013 14:28:48 +0000 (14:28 +0000)
commitf432229be0ee206c5dd774a43cc7ce461d9110fb
tree69605e3478983c1389de154829490a25eb9c4cfe
parent3ac1539cfa1745ef5133fc5747095deb0c1d795d
Remove unused liftTcCoSubstWith
compiler/typecheck/TcEvidence.lhs