Fix naming of DecReportsDecoder

I think there was a typo. The name which appears in the logfile should not be "Hlt1" and "Hlt2" I assume.

Merge request reports

Loading