Browse Source
Fix build
detProp2 isn't implemented yet, oops
test_objs
No known key found for this signature in database
GPG Key ID: 220CD1C5BDEED020
1 changed files with
0 additions and
1 deletions
-
TestMain.hs
|
|
@@ -51,7 +51,6 @@ main = do |
|
|
|
deepCheck vp2Prop2 |
|
|
|
putStrLn "testing det:" |
|
|
|
deepCheck detProp1 |
|
|
|
deepCheck detProp2 |
|
|
|
putStrLn "testing splitBy" |
|
|
|
deepCheck splitByProp1 |
|
|
|
deepCheck splitByProp2 |
|
|
|