src/HOL/Tools/Quickcheck/Narrowing_Engine.hs
changeset 46335 0fd9ab902b5a
parent 45760 3b5a735897c3
child 46758 4106258260b3
     1.1 --- a/src/HOL/Tools/Quickcheck/Narrowing_Engine.hs	Thu Jan 26 09:52:47 2012 +0100
     1.2 +++ b/src/HOL/Tools/Quickcheck/Narrowing_Engine.hs	Thu Jan 26 10:59:47 2012 +0100
     1.3 @@ -1,6 +1,6 @@
     1.4  module Narrowing_Engine where {
     1.5  
     1.6 -import Monad;
     1.7 +import Control.Monad;
     1.8  import Control.Exception;
     1.9  import System.IO;
    1.10  import System.Exit;