fixing type error inside Hpc inc; we had a 32 bit '1'.
authorandy@galois.com <unknown>
Wed, 25 Oct 2006 20:14:22 +0000 (20:14 +0000)
committerandy@galois.com <unknown>
Wed, 25 Oct 2006 20:14:22 +0000 (20:14 +0000)

No differences found