tree 847b5c3d99cb14d69a2ce6f13bcf6eee3b75a0a5
parent 32f1489253dde0a568653e277288d8e18dc6c388
author Nico Huber <nico.h@gmx.de> 1497746451 +0200
committer Nico Huber <nico.h@gmx.de> 1499901269 +0000

time: Juggle with types for proof

Helps with SPARK GPL 2017.

Change-Id: Idc0a038b132438be13aef496c41d15300069ed02
Signed-off-by: Nico Huber <nico.h@gmx.de>
Reviewed-on: https://review.coreboot.org/20257
Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
Tested-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>