diff -r 2bd242c56c90 -r 1065c307fafe src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML
--- a/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML	Wed Jul 11 21:43:19 2012 +0200
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML	Wed Jul 11 21:43:19 2012 +0200
@@ -23,7 +23,7 @@
 open ATP_Problem_Generate
 open ATP_Proof_Reconstruct
 open Sledgehammer_Util
-open Sledgehammer_Filter
+open Sledgehammer_Fact
 open Sledgehammer_Provers
 open Sledgehammer_Minimize
 open Sledgehammer_Run