--- a/src/HOL/Tools/Nitpick/nitpick_hol.ML Fri Apr 23 19:16:52 2010 +0200
+++ b/src/HOL/Tools/Nitpick/nitpick_hol.ML Fri Apr 23 19:18:39 2010 +0200
@@ -217,7 +217,6 @@
structure Nitpick_HOL : NITPICK_HOL =
struct
-open Sledgehammer_Util
open Nitpick_Util
type const_table = term list Symtab.table