diff options
author | Joey Hess <joeyh@joeyh.name> | 2015-01-28 18:17:10 -0400 |
---|---|---|
committer | Joey Hess <joeyh@joeyh.name> | 2015-01-28 18:17:10 -0400 |
commit | 60e3e2509878b35b22935164983aebfdf41357bb (patch) | |
tree | 7976b805f3e913a5a65ea71f47344c04782168d1 /Locations.hs | |
parent | bf186b4e0c4124daac55ea913e96997acabff797 (diff) |
use a Set
Diffstat (limited to 'Locations.hs')
-rw-r--r-- | Locations.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Locations.hs b/Locations.hs index c5221d8bc..bf313dbc8 100644 --- a/Locations.hs +++ b/Locations.hs @@ -137,7 +137,7 @@ gitAnnexLocation' key r config crippled -} | Git.repoIsLocalBare r || crippled - || hasDifference (== ObjectHashLower) (annexDifferences config) = + || hasDifference ObjectHashLower (annexDifferences config) = check $ map inrepo $ annexLocations config key {- Non-bare repositories only use hashDirMixed, so - don't need to do any work to check if the file is |