diff -r 15176172701e -r e85c42f4f30a src/HOL/Tools/BNF/bnf_fp_util.ML
--- a/src/HOL/Tools/BNF/bnf_fp_util.ML	Wed Feb 17 17:08:03 2016 +0100
+++ b/src/HOL/Tools/BNF/bnf_fp_util.ML	Wed Feb 17 17:08:36 2016 +0100
@@ -661,7 +661,7 @@
 
     val timer = time (timer "FP construction in total");
   in
-    timer; ((pre_bnfs, absT_infos), res)
+    ((pre_bnfs, absT_infos), res)
   end;
 
 fun fp_antiquote_setup binding =