tree e78fb779a54d464072ebe785c7f31a941ab7f4b7
parent 6e0d5bd00d84944a66353c26cc80b4cce7559337
author Gilles Peskine <Gilles.Peskine@arm.com> 1613386996 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1614108967 +0100

Fix copypasta for the type of a variable

MSVC started (rightfully) complaining after moving the code to a
separate .c file.

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