summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--tests/Properties.hs2
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/Properties.hs b/tests/Properties.hs
index 447dae8..2bc5443 100644
--- a/tests/Properties.hs
+++ b/tests/Properties.hs
@@ -547,7 +547,7 @@ prop_screens (x :: T) = n `elem` screens x
prop_differentiate xs =
if null xs then differentiate xs == Nothing
- else focus (fromJust (differentiate xs)) == head xs
+ else (differentiate xs) == Just (Stack (head xs) [] (tail xs))
where _ = xs :: [Int]
-- looking up the tag of the current workspace should always produce a tag.