deleted unused 'mul' definition in 'prop_aspect_fits'.

This commit is contained in:
Keith 2020-05-25 13:03:08 -04:00
parent 40466b2be2
commit 3c6f52a349

View File

@ -58,7 +58,6 @@ prop_aspect_fits =
==> f (x,y) == (x,y)
where pos = choose (0, 65535)
mul a b = toInteger (a*b) /= toInteger a * toInteger b
prop_point_within r @ (Rectangle x y w h) =
forAll ((,) <$>