Updating rix output to new standard.
authorandy@galois.com <unknown>
Thu, 14 Dec 2006 23:52:10 +0000 (23:52 +0000)
committerandy@galois.com <unknown>
Thu, 14 Dec 2006 23:52:10 +0000 (23:52 +0000)
commit80578b7defea703ad24efa908534a13e2ebc880b
tree2b4463e07e3d2fe2f6f335942bfcdb4d5eade0b3
parent7d8b8c2b314a98171678d037fbf5f9aadff13390
Updating rix output to new standard.
includes/RtsExternal.h
rts/Exception.cmm
rts/Hpc.c
rts/Schedule.c