compiler/exprn_aux.m:
   Delete a redundant comment.