Removing unused argument to a printf.
authorandy@galois.com <unknown>
Wed, 13 Dec 2006 16:06:51 +0000 (16:06 +0000)
committerandy@galois.com <unknown>
Wed, 13 Dec 2006 16:06:51 +0000 (16:06 +0000)
commite119cde9caf1f2acbde7ff53feebdc27d6c35f8d
treea5bbbfad0c7450ebe9394bf7d50b2b0f9bd6c9e1
parent132a718bfb9e44a49b5eaecaf21530b463663308
Removing unused argument to a printf.
rts/Hpc.c