Fixing Hpc SrcSpan usage; rejecting SrcSpans that are not in the source file
authorandy@galois.com <unknown>
Thu, 12 Jul 2007 17:16:46 +0000 (17:16 +0000)
committerandy@galois.com <unknown>
Thu, 12 Jul 2007 17:16:46 +0000 (17:16 +0000)
Now, if you #include a file, you do not get any hpc-info from the included file.
Previously, you got wrong information.

Thanks to Neil Mitchell for pointing out the problem.


No differences found