Fix some spelling mistakes in comments
authorDavid Terei <davidterei@gmail.com>
Tue, 19 Jul 2011 19:14:10 +0000 (12:14 -0700)
committerDavid Terei <davidterei@gmail.com>
Tue, 19 Jul 2011 19:14:10 +0000 (12:14 -0700)
commit74e818e19584933647d08b5548a0cc808f846c9e
tree79b889254d474aa38ac7d9df1d81795b2140ffd7
parent6169601cfb864d8b25c0f1cb32f44a7a7949db93
Fix some spelling mistakes in comments
Text/PrettyPrint/HughesPJ.hs