diff -ruN orig/criterion.cabal new/criterion.cabal
--- orig/criterion.cabal	2014-08-10 16:13:33.958136765 +0300
+++ new/criterion.cabal	2014-08-10 16:13:33.000000000 +0300
@@ -131,6 +131,7 @@
   type:           exitcode-stdio-1.0
   hs-source-dirs: tests
   main-is:        Tests.hs
+  other-modules:  Properties
 
   ghc-options:
     -Wall -threaded -O0 -rtsopts