From 1a2c77c6a6f14483ce1b88805bd9ae0963f2cf81 Mon Sep 17 00:00:00 2001
From: Julian Ospald <hasufell@posteo.de>
Date: Sat, 14 Jan 2017 20:16:25 +0100
Subject: [PATCH] dirname: remove incorrect documentation on properties

Fixes #11
---
 src/HPath.hs | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/src/HPath.hs b/src/HPath.hs
index f44872e..9e5f2ac 100644
--- 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 "/")