removing grabHpcPos, it only used in hpc-tracer, a tool that is now dead.
authorandy@galois.com <unknown>
Thu, 28 Jun 2007 17:02:08 +0000 (17:02 +0000)
committerandy@galois.com <unknown>
Thu, 28 Jun 2007 17:02:08 +0000 (17:02 +0000)
commit6ed1c901bc5290d4c2d2ce438360330d13835134
treeef074648cfb495cab19b27d4454afbfee11dc0c3
parentedf5969156135355ba253714f20972cbd25b48d0
removing grabHpcPos, it only used in hpc-tracer, a tool that is now dead.
Trace/Hpc/Util.hs