diff options
Diffstat (limited to 'Logs')
| -rw-r--r-- | Logs/Unused.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Logs/Unused.hs b/Logs/Unused.hs index c13054f3c..eff8186cf 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. -} |