changeset 62335 | e85c42f4f30a |
parent 62125 | 438f5986d11c |
child 62621 | a1e73be79c0b |
--- 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 =