tree e74037583a8239edf5dbb3a91a3284bbcbbfee8b
parent 746df88e90b8aaecf77772d0fcea4016deeec459
author Jethro Beekman <jethro@fortanix.com> 1683128346 +0200
committer Jethro Beekman <jethro@fortanix.com> 1683128847 +0200

Fix cross-platform compilation issue

Signed-off-by: Jethro Beekman <jethro@fortanix.com>