Remove a redundant wrapper function
authorIan Lynagh <ian@well-typed.com>
Fri, 10 May 2013 15:30:27 +0000 (16:30 +0100)
committerIan Lynagh <ian@well-typed.com>
Fri, 10 May 2013 15:30:27 +0000 (16:30 +0100)
commit8241cdd41fd22fbd9668432289828c4c04e23ba7
tree83f078c6c911f1bdc20dbadcbf299fe609d37813
parent0499eac95f907ed94ccaef1c9a9074965d9067cf
Remove a redundant wrapper function
compiler/coreSyn/CoreSubst.lhs