fix annoying formatting problem

This commit is contained in:
Niko Matsakis 2022-08-13 01:28:01 -04:00
parent b8643a5f70
commit d80d5308f1