diff -r 3858dc8eabd8 -r 0fd9ab902b5a src/HOL/Tools/Quickcheck/Narrowing_Engine.hs
--- a/src/HOL/Tools/Quickcheck/Narrowing_Engine.hs	Thu Jan 26 09:52:47 2012 +0100
+++ b/src/HOL/Tools/Quickcheck/Narrowing_Engine.hs	Thu Jan 26 10:59:47 2012 +0100
@@ -1,6 +1,6 @@
 module Narrowing_Engine where {
 
-import Monad;
+import Control.Monad;
 import Control.Exception;
 import System.IO;
 import System.Exit;