test/TestSuite.hs: enable missing "function_values_properties" tests.

[spline3.git] / test / TestSuite.hs

diff --git a/test/TestSuite.hs b/test/TestSuite.hs
index f1a8523d3d974feeaa86c14865bb85580431d677..baeff14fcade6a662dd4f933e54f11b66faeb21e 100644 (file)
--- a/test/TestSuite.hs
+++ b/test/TestSuite.hs
@@ -1,8 +1,8 @@
-module Main
+module Main (main)
 where
 
 import Test.Tasty ( TestTree, defaultMain, localOption, testGroup )
-import Test.Tasty.QuickCheck ( QuickCheckTests(..) )
+import Test.Tasty.QuickCheck ( QuickCheckTests(QuickCheckTests) )
 
 import Cardinal ( cardinal_tests, cardinal_properties )
 import Cube ( cube_properties )
@@ -24,6 +24,7 @@ tests =
       grid_tests,
       misc_tests,
       tetrahedron_tests,
+      function_values_properties,
       grid_properties,
       cube_properties,
       tetrahedron_properties,