mirror of
https://github.com/xmonad/xmonad.git
synced 2025-05-19 08:30:21 -07:00
Merge pull request #182 from nikolas/patch-1
Fix typo in delete test comment: identiy -> identity
This commit is contained in:
commit
85b47fc3ac
@ -18,7 +18,7 @@ prop_delete x =
|
|||||||
where _ = x :: T
|
where _ = x :: T
|
||||||
|
|
||||||
-- delete is reversible with 'insert'.
|
-- delete is reversible with 'insert'.
|
||||||
-- It is the identiy, except for the 'master', which is reset on insert and delete.
|
-- It is the identity, except for the 'master', which is reset on insert and delete.
|
||||||
--
|
--
|
||||||
prop_delete_insert (x :: T) =
|
prop_delete_insert (x :: T) =
|
||||||
case peek x of
|
case peek x of
|
||||||
|
Loading…
x
Reference in New Issue
Block a user