Adding hpcError, that improves error messages with usage
authorandy@galois.com <unknown>
Wed, 11 Jul 2007 07:24:54 +0000 (07:24 +0000)
committerandy@galois.com <unknown>
Wed, 11 Jul 2007 07:24:54 +0000 (07:24 +0000)
commit3c23b14c467a436d7fd95a80a4aceae8ea8913c7
treeb7a743eaa92e613f76a138ef5048645fd9623edc
parent8788d157ec75d169832fc83ec456debab3158541
Adding hpcError, that improves error messages with usage
utils/hpc/HpcFlags.hs