1.1 --- a/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML	Fri Jul 20 22:19:45 2012 +0200
     1.2 +++ b/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML	Fri Jul 20 22:19:45 2012 +0200
     1.3 @@ -26,7 +26,7 @@
     1.4  open Sledgehammer_Fact
     1.5  open Sledgehammer_Provers
     1.6  open Sledgehammer_Minimize
     1.7 -open Sledgehammer_Filter_MaSh
     1.8 +open Sledgehammer_MaSh
     1.9  open Sledgehammer_Run
    1.10  
    1.11  val runN = "run"