tree 0a98684c1e1aefe447848eb8f48495313dfbd205
parent 7ab9fb6d147e5afab97882b8bd612c66f9094189
author Gilles Peskine <Gilles.Peskine@arm.com> 1741382903 +0100
committer Manuel Pégourié-Gonnard <manuel.pegourie-gonnard@arm.com> 1744195946 +0200

Fix printf of enum

The enum is promoted to `int`, so `%d` is a correct format,
but `gcc -Wformat` complains.

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