Misc unsigned printing issues; adding magicTixNumber.
authorandy@galois.com <unknown>
Thu, 30 Nov 2006 00:30:24 +0000 (00:30 +0000)
committerandy@galois.com <unknown>
Thu, 30 Nov 2006 00:30:24 +0000 (00:30 +0000)
commit71e810db51fb7f874f11f561303bd0bcb5e6d3d0
tree9086b9d7c24b7982069e792e9aa419cfe575fe2d
parent4e3e91e26a8793a7fa5f308db8cc99b450b50981
Misc unsigned printing issues; adding magicTixNumber.
rts/Hpc.c