pgawk doesn't give execution counts of delete array

[Hermann Peifer]

Here a random example:

$ cat awkprof.out
       # gawk profile, created Sun Feb 15 12:12:04 2009

       # Rule(s)

 7283  {
 7283          A[NR] = $0
               delete A
 7283          print $0
       }

I'm using gawk-stable from CVS.

Regards, Hermann