# HG changeset patch
# User blanchet
# Date 1291880764 -3600
# Node ID 1dc7652ce404e538f084499b3f6844729b41f113
# Parent  dfbc8759415ff37601512384c8d1a84763dc6ac0
compile

diff -r dfbc8759415f -r 1dc7652ce404 src/HOL/Sledgehammer.thy
--- a/src/HOL/Sledgehammer.thy	Wed Dec 08 22:18:37 2010 +0100
+++ b/src/HOL/Sledgehammer.thy	Thu Dec 09 08:46:04 2010 +0100
@@ -20,7 +20,7 @@
 begin
 
 setup {*
-  Sledgehammer.setup
+  Sledgehammer_Provers.setup
   #> Sledgehammer_Isar.setup
 *}