Run "make format"

[wolframroesler]

Someone probably forgot to run "make format" before committing their changes, which means that everyone else who runs "make format" has to revert these files because they don't want them in their commits. So, I'm submitting a commit with a clean "make format" for everyone.

Type of change

• ✅ Refactor (significant modification to existing code)

Description and Context

Run "make format". No semantic changes.

Screenshots

n/a

Testing strategy

Superficial manual tests of the resulting executable, including "make test". No changed behavior expected however.

Checklist:

• ✅ I have read the CONTRIBUTING document. [REQUIRED]
• ✅ My code follows the code style of this project. [REQUIRED]
• ✅ All new and existing tests passed. [REQUIRED]
• ✅ I have compiled and verified my code with -DWITH_ASAN=ON. [REQUIRED]

[droidmonkey]

This should be done as part of an existing PR

[wolframroesler]

Done on #3546.