professor: fix style

This commit is contained in:
Wouter Deconinck 2025-02-28 19:08:11 -06:00
parent 5b3d0cc67d
commit 910031d927