Fixing hpc combine and hpc map to use the correct help message
authorandy@galois.com <unknown>
Tue, 8 Apr 2008 23:20:32 +0000 (23:20 +0000)
committerandy@galois.com <unknown>
Tue, 8 Apr 2008 23:20:32 +0000 (23:20 +0000)
commit8a70e6c09a4c2fd768365d1aac18f4a3c9a30649
treeb02b08833fd8766ea3ac549a37b9d5923bebb388
parente0fcf61dca4dfac99cb5417e1bc4cbee18822cf2
Fixing hpc combine and hpc map to use the correct help message
utils/hpc/HpcCombine.hs