src/HOL/BNF/Tools/bnf_fp_util.ML

--- a/src/HOL/BNF/Tools/bnf_fp_util.ML	Thu Aug 08 20:43:54 2013 +0200
+++ b/src/HOL/BNF/Tools/bnf_fp_util.ML	Fri Aug 09 11:26:29 2013 +0200
@@ -471,7 +471,7 @@
 
 fun mk_sumEN_tupled_balanced ms =
   let val n = length ms in
-    if forall (curry (op =) 1) ms then mk_sumEN_balanced n
+    if forall (curry op = 1) ms then mk_sumEN_balanced n
     else mk_sumEN_balanced' n (map mk_tupled_allIN ms)
   end;