fix: Use correct error filename.

This commit is contained in:
Ruben Verborgh
2021-07-14 15:26:57 +01:00
parent b9295f00c2
commit 5ab8e41fac