From 4c176a1a0f5578761eca0886628bb99788a128a1 Mon Sep 17 00:00:00 2001
From: Neil Brown <neil@twistedsquare.com>
Date: Wed, 23 Jan 2008 14:32:13 +0000
Subject: [PATCH] Fixed a bug so that tocktest now defaults to running a medium
 level of quickcheck tests

---
 TestMain.hs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/TestMain.hs b/TestMain.hs
index c7ec816..bed316b 100644
--- a/TestMain.hs
+++ b/TestMain.hs
@@ -95,6 +95,7 @@ main = do (opts, nonOpts, errs) <- getArgs >>* getOpt RequireOrder options
     findLevel :: [TestOption] -> Either String (Maybe QuickCheckLevel)
     findLevel (QC qc:_) = qc
     findLevel (_:os) = findLevel os
+    findLevel [] = Right $ Just QC_Medium
     
     findType :: [TestOption] -> Maybe Bool
     findType (OutputType t:_) = Just t