tree f027bcedee72405ade259421b9b4cb9052b3e59c
parent 25e39f24b99554e66145a54d66d32f88a912d6c6
author Gilles Peskine <Gilles.Peskine@arm.com> 1656584135 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1656584135 +0200

Fix wrong type in C snippet

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>