fix test file name

This commit is contained in:
Ralf Jung 2022-07-20 11:27:04 -04:00
parent 0844e46049
commit e0514508b4