patch for flow.c: flow_delete_insn

[Richard Henderson]

On Tue, May 09, 2000 at 08:35:30PM +0400, Denis Chertykov wrote:
> 	* flow.c (flow_delete_insn): Use INSN_DELETED_P for marking insn
> 	as deleted.

Ok.


r~