diff options
author | Joey Hess <joey@kitenet.net> | 2014-01-28 17:17:21 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2014-01-28 17:17:21 -0400 |
commit | 273a930cedc671591e44fe45149b1866aff47a7c (patch) | |
tree | 694ff5b20e398d51642e449f3a4c466d0a56ee2a | |
parent | f5580cadf51bb9cd682dd0404f6c8c788a6453b5 (diff) |
typo
-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. -} |