Skip to content

Commit

Permalink
tests: fix build, using genTextureDefault
Browse files Browse the repository at this point in the history
  • Loading branch information
kfish committed Nov 23, 2011
1 parent 52c3f71 commit a1f9261
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion tests/Properties.hs
Expand Up @@ -12,7 +12,7 @@ import Graphics.TextureSynthesis
-- | Check that a tile of depth n is fully filled. -- | Check that a tile of depth n is fully filled.
-- The size of tiles follows sequence A028400 (2^n + 1)^2 -- The size of tiles follows sequence A028400 (2^n + 1)^2
fillTile :: Int -> Bool fillTile :: Int -> Bool
fillTile n = length (flattenTexture (n+1) (mkTexture n)) == square (2^n +1) fillTile n = length (flattenTexture (n+1) (genTextureDefault n)) == square (2^n +1)
where where
square x = x * x square x = x * x


Expand Down

0 comments on commit a1f9261

Please sign in to comment.