- let t1' =
- let foo () =
-whd ?delta:(Some true) ?subst:(Some subst) context t1
- in
- profiler_whd.HExtlib.profile foo ()
-in
- let t2' =
- let foo () =
-whd ?delta:(Some true) ?subst:(Some subst) context t2
- in
- profiler_whd.HExtlib.profile foo ()
-in
+ let t1' = whd ?delta:(Some true) ?subst:(Some subst) context t1 in
+ let t2' = whd ?delta:(Some true) ?subst:(Some subst) context t2 in