diff --git a/TestMain.hs b/TestMain.hs
index 0f8df40..e612141 100644
--- a/TestMain.hs
+++ b/TestMain.hs
@@ -51,7 +51,6 @@ main = do
   deepCheck vp2Prop2
   putStrLn "testing det:"
   deepCheck detProp1
-  deepCheck detProp2
   putStrLn "testing splitBy"
   deepCheck splitByProp1
   deepCheck splitByProp2