tree 301e0af920421f95faab9be738360d91048ed726
parent 8431fe05f1fdd97c75668e4422f8aa4c5e2812a4
author David Horstmann <david.horstmann@arm.com> 1674586395 +0000
committer David Horstmann <david.horstmann@arm.com> 1674586891 +0000

Fix a missing type hint warning

Signed-off-by: David Horstmann <david.horstmann@arm.com>