Fix word repetitions in comments
authorGabor Greif <ggreif@gmail.com>
Tue, 7 Jul 2015 13:52:57 +0000 (15:52 +0200)
committerGabor Greif <ggreif@gmail.com>
Tue, 7 Jul 2015 13:52:57 +0000 (15:52 +0200)
commit62fcf0515112b918152dd8bf053f84d9ec0d1501
treecf0b67f71561a8fb7868e0dac39afe1dd948b1e3
parent37de4ad76b75d403e6a8dae9539af08c859d46a4
Fix word repetitions in comments
compiler/parser/Lexer.x
compiler/typecheck/TcDeriv.hs