Thomas Daubney 64042b8d3d Fix typo
Fix typo that was caught during review.

Signed-off-by: Thomas Daubney <thomas.daubney@arm.com>
2022-05-18 09:59:55 +01:00
..
2021-06-17 09:38:38 +02:00
2022-05-18 09:59:55 +01:00
2021-06-28 09:24:07 +01:00
2021-06-28 09:24:07 +01:00
2021-06-28 09:24:07 +01:00
2020-05-27 21:55:08 +02:00
2020-05-27 21:55:08 +02:00
2021-06-28 09:24:07 +01:00