diff --git a/Logs/Unused.hs b/Logs/Unused.hs index c13054f3ca..eff8186cf8 100644 --- a/Logs/Unused.hs +++ b/Logs/Unused.hs @@ -99,7 +99,7 @@ dateUnusedLog prefix = do #else #warning foo -- old ghc's getModificationTime returned a ClockTime -dateUnusedLog _prefix = Nothing +dateUnusedLog _prefix = return Nothing #endif {- Set of unused keys. This is cached for speed. -}