--- a/src/HOL/Tools/BNF/bnf_lfp_rec_sugar.ML Fri Feb 14 07:53:45 2014 +0100
+++ b/src/HOL/Tools/BNF/bnf_lfp_rec_sugar.ML Fri Feb 14 07:53:45 2014 +0100
@@ -569,8 +569,9 @@
val (bs, attrss) = map_split (fst o nth specs) poss;
val notes =
map3 (fn b => fn attrs => fn thm =>
- ((Binding.qualify false prefix b, code_nitpicksimp_simp_attrs @ attrs), [([thm], [])]))
- bs attrss thms;
+ ((Binding.qualify false prefix b, code_nitpicksimp_simp_attrs @ attrs),
+ [([thm], [])]))
+ bs attrss thms;
in
((Binding.qualify true prefix (Binding.name simpsN), []), [(thms, [])]) :: notes
end);