From 1ae0823ca86798e2a17f2dd2124971bcae07d1b5 Mon Sep 17 00:00:00 2001
From: panne <unknown>
Date: Tue, 8 Jul 2003 16:04:54 +0000
Subject: [PATCH] [project @ 2003-07-08 16:04:54 by panne] Export TestResult,
 too

---
 Debug/QuickCheck/Batch.hs |    1 +
 1 file changed, 1 insertion(+)

diff --git a/Debug/QuickCheck/Batch.hs b/Debug/QuickCheck/Batch.hs
index 3b7c6d5..faaa808 100644
--- a/Debug/QuickCheck/Batch.hs
+++ b/Debug/QuickCheck/Batch.hs
@@ -84,6 +84,7 @@ module Debug.QuickCheck.Batch
 			--	[TestOptions -> IO TestResult] -> IO ()
    , defOpt		-- :: TestOptions
    , TestOptions (..)
+   , TestResult (..)
    , isBottom		-- :: a -> Bool
    , bottom		-- :: a 		{- _|_ -}
    ) where
-- 
1.7.10.4