src/Pure/pattern.ML

               Some tm'' => Some (abs tm'')
             | None => None)
           end
       | rew2 _ = None
 
-  in if_none (timeap_msg "FIXME: rewrite_term" rew1 tm) tm end;
+  in if_none (rew1 tm) tm end;
 
 end;