diff options
author | Joey Hess <joeyh@joeyh.name> | 2018-08-31 13:39:50 -0400 |
---|---|---|
committer | Joey Hess <joeyh@joeyh.name> | 2018-08-31 13:39:50 -0400 |
commit | 24b76cb8e0dbd2c028128d8f84445633c022fbe9 (patch) | |
tree | 8d36078693da176279664924ed73373a67948810 /Types | |
parent | b3d42283ad23cbdbb281433fe42eb6110a0e28a3 (diff) |
fix prefixing
Diffstat (limited to 'Types')
-rw-r--r-- | Types/MetaData.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Types/MetaData.hs b/Types/MetaData.hs index d4fee39ca1..8359ace350 100644 --- a/Types/MetaData.hs +++ b/Types/MetaData.hs @@ -308,7 +308,7 @@ fromRemoteMetaData :: RemoteMetaData -> MetaData fromRemoteMetaData (RemoteMetaData u (MetaData m)) = MetaData $ M.mapKeys addprefix m where - addprefix (MetaField f) = MetaField $ CI.mk $ (++ prefix) $ CI.original f + addprefix (MetaField f) = MetaField $ CI.mk $ (prefix ++) $ CI.original f prefix = remoteMetaDataPrefix u {- Avoid putting too many fields in the map; extremely large maps make |