From 4f5d7f15bf851dd54cb69c5c609dd7ddfe784179 Mon Sep 17 00:00:00 2001
From: hasufell <hasufell@hasufell.de>
Date: Thu, 18 Dec 2014 04:14:31 +0100
Subject: [PATCH] Fix build

detProp2 isn't implemented yet, oops
---
 TestMain.hs | 1 -
 1 file changed, 1 deletion(-)

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