Add space to appease doxygen bug

See doxygen/doxygen#8706

Signed-off-by: David Horstmann <david.horstmann@arm.com>
This commit is contained in:
David Horstmann 2023-02-23 18:39:16 +00:00 committed by Gilles Peskine
parent 1873d3bfc2
commit df28b8d2ea