src/HOL/Tools/Sledgehammer/sledgehammer_isar_annotate.ML

--- a/src/HOL/Tools/Sledgehammer/sledgehammer_isar_annotate.ML	Fri Jan 31 10:34:20 2014 +0100
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer_isar_annotate.ML	Fri Jan 31 12:30:54 2014 +0100
@@ -130,7 +130,6 @@
     (t', subst)
   end
 
-
 (* (4) Typing-spot table *)
 local
 fun key_of_atype (TVar (z, _)) = Ord_List.insert indexname_ord z