src/HOL/Tools/BNF/bnf_fp_util.ML

 
     val res = construct_fp bs resBs (map TFree dead_phantoms, deadss) pre_bnfs absT_infos lthy'';
 
     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 =
   Thy_Output.antiquotation binding (Args.type_name {proper = true, strict = true})
     (fn {source = src, context = ctxt, ...} => fn fcT_name =>