dirname: remove incorrect documentation on properties

Fixes #11
2017-01-14 20:16:25 +01:00
parent 3baecb7b51
commit 1a2c77c6a6
1 changed files with 0 additions and 4 deletions
--- a/src/HPath.hs
+++ b/src/HPath.hs
@@ -314,10 +314,6 @@ getAllParents (MkPath p)

 -- | Extract the directory name of a path.
 --
-- The following properties hold:
--
-- @dirname (p \<\/> a) == dirname p@
--
 -- >>> dirname (MkPath "/abc/def/dod")
 -- "/abc/def"
 -- >>> dirname (MkPath "/")