FIX #2500: Don't log warnings in getHeader
authorSimon Marlow <marlowsd@gmail.com>
Tue, 21 Apr 2009 10:00:39 +0000 (10:00 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Tue, 21 Apr 2009 10:00:39 +0000 (10:00 +0000)
commita70a6e393222e586c518ca7c1982be6d2b9ff1d2
tree9114f75360f092c4ba6c14eadf23a50a1153d8c4
parent199dc7420ac285628d28538cafe037cc85cff8a7
FIX #2500: Don't log warnings in getHeader
compiler/main/HeaderInfo.hs