Fixing bad allocation of tix box breakpointing array.
authorandy@galois.com <unknown>
Tue, 13 Feb 2007 22:02:03 +0000 (22:02 +0000)
committerandy@galois.com <unknown>
Tue, 13 Feb 2007 22:02:03 +0000 (22:02 +0000)
commit7b60a2503ddc77a23d7c19c8d3079fb4a997f0ea
treee9822bf9ea45303d59832c9b69f63cdb01616711
parentebf733111484edc973797025418cba8f096246f6
Fixing bad allocation of tix box breakpointing array.
rts/Hpc.c