Remove obsolete comment about (!!)
authorJoachim Breitner <mail@joachim-breitner.de>
Fri, 12 Sep 2014 21:13:07 +0000 (23:13 +0200)
committerJoachim Breitner <mail@joachim-breitner.de>
Fri, 12 Sep 2014 21:13:50 +0000 (23:13 +0200)
commit9d713150d87de07e132c1211eec956e0ae69aa7f
tree646e8063f8656ca60248ce5b9b535fcc28ab719d
parent946cbcefab9bc02e12b741e5b070d7521b37ba1a
Remove obsolete comment about (!!)

as spotted by David Feuer and reported as #9585.
The comment was right until ceb68b9118fa883e88abfaa532fc78f6640cf17f,
which is only 13 years ago :-).
libraries/base/GHC/List.lhs