[QuickCheck: allow chooseLog to yield 0
Helmut Grohne <grohne@cs.uni-bonn.de>**20150508143725
 Ignore-this: 3e0d74554a56a7e7cdabc437a34cf088
 
 Before this change, chooseLog would always yield numbers >= 1. Thus
 MatchingTExps would replace at least one position with a wildcard and one
 position with a variable. Thus allowing 0 grows the example space.
] hunk ./src/Tests.hs 140
-chooseLog n = liftM (round . exp) $ QC.choose (0.0 :: Float, log (fromIntegral n))
+chooseLog n = liftM (pred . round . exp) $ QC.choose (0.0 :: Float, log (fromIntegral (succ n)))