f4cefb4318 ^
1 2 3 4
bug520.scala:8 error: overloaded method verifyKeyword needs result type verifyKeyword("", source, pos); ^ one error found