summaryrefslogtreecommitdiff
path: root/Git
diff options
context:
space:
mode:
authorGravatar Joey Hess <joeyh@joeyh.name>2015-11-16 14:37:31 -0400
committerGravatar Joey Hess <joeyh@joeyh.name>2015-11-16 14:37:31 -0400
commite316eac6c816111c11280aab79e9a058f86d902b (patch)
treeeea4b7657458ab2957f67cb03bbc25585fa27b3a /Git
parent8055c761751e5c6a913f76293281389e29378545 (diff)
fix use of hifalutin terminology
Diffstat (limited to 'Git')
-rw-r--r--Git/Filename.hs4
1 files changed, 2 insertions, 2 deletions
diff --git a/Git/Filename.hs b/Git/Filename.hs
index 382eb8d48..ee84d4883 100644
--- a/Git/Filename.hs
+++ b/Git/Filename.hs
@@ -24,5 +24,5 @@ encode :: FilePath -> String
encode s = "\"" ++ encode_c s ++ "\""
{- for quickcheck -}
-prop_idempotent_deencode :: String -> Bool
-prop_idempotent_deencode s = s == decode (encode s)
+prop_isomorphic_deencode :: String -> Bool
+prop_isomorphic_deencode s = s == decode (encode s)