1.1 --- a/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML	Wed Jul 11 21:43:19 2012 +0200
     1.2 +++ b/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML	Wed Jul 11 21:43:19 2012 +0200
     1.3 @@ -23,7 +23,7 @@
     1.4  open ATP_Problem_Generate
     1.5  open ATP_Proof_Reconstruct
     1.6  open Sledgehammer_Util
     1.7 -open Sledgehammer_Filter
     1.8 +open Sledgehammer_Fact
     1.9  open Sledgehammer_Provers
    1.10  open Sledgehammer_Minimize
    1.11  open Sledgehammer_Run