--- a/src/HOL/Tools/Quickcheck/Narrowing_Engine.hs Wed Mar 23 08:50:32 2011 +0100
+++ b/src/HOL/Tools/Quickcheck/Narrowing_Engine.hs Wed Mar 23 08:50:39 2011 +0100
@@ -101,10 +101,10 @@
depthCheck :: Testable a => Int -> a -> IO ();
depthCheck d p =
- (refute $ run (const p) 0 d) >>= (\n -> putStrLn $ "OK, required " ++ show n ++ " tests at depth " ++ show d);
+ (refute $ run (const p) 0 d) >> putStrLn ("NONE") >> hFlush stdout;
smallCheck :: Testable a => Int -> a -> IO ();
-smallCheck d p = mapM_ (`depthCheck` p) [0..d] >> putStrLn ("NONE");
+smallCheck d p = mapM_ (`depthCheck` p) [0..d] >> putStrLn ("NONE") >> hFlush stdout;
}