removing the functions hs_hpc_read and hs_hpc_write inside Hpc.c, they are dead code.
authorandy@galois.com <unknown>
Mon, 17 Sep 2007 23:02:01 +0000 (23:02 +0000)
committerandy@galois.com <unknown>
Mon, 17 Sep 2007 23:02:01 +0000 (23:02 +0000)
commit0578dfbc6a7eefd85ba4e6a4ad23d101060d86c3
treefe59617b6a0aae91d20d8b46a03f4df2859fa26b
parent66ae738380ec31be4a721e1ae594c08e71a5b800
removing the functions hs_hpc_read and hs_hpc_write inside Hpc.c, they are dead code.

* To be merged to STABLE. *
rts/Hpc.c