Changing Main.tix to <prog_name>.tix in the Hpc RTS
authorandy@galois.com <unknown>
Wed, 25 Oct 2006 20:12:29 +0000 (20:12 +0000)
committerandy@galois.com <unknown>
Wed, 25 Oct 2006 20:12:29 +0000 (20:12 +0000)
commit0df7dbb1b98d08521f177ade22615861752f8981
treeedda9f7c33ab269365fa39ef75eb3b1f8edde7bd
parentb8ec5dac41a84a7de12b10d5c5a7c9bf3efb83b9
Changing Main.tix to <prog_name>.tix in the Hpc RTS
rts/Hpc.c