Not adding ticks to compiler generated derived code.
authorandy@galois.com <unknown>
Fri, 8 Jun 2007 22:40:16 +0000 (22:40 +0000)
committerandy@galois.com <unknown>
Fri, 8 Jun 2007 22:40:16 +0000 (22:40 +0000)
commit7a77f1b7a336d07749145d25763ccb587de17df1
treef6846e14ff0e4059a4d9ab694b5f540901fd3059
parentef0ef4cc41c978c8adda6fb840258f294d72dc87
Not adding ticks to compiler generated derived code.
compiler/deSugar/Coverage.lhs