commit | 874113d29cc23fd247995d5c7bac0b115dddbc25 | [log] [tgz] |
---|---|---|
author | Nico Huber <nico.h@gmx.de> | Sun Jun 18 00:40:51 2017 |
committer | Nico Huber <nico.h@gmx.de> | Wed Jul 12 23:14:29 2017 |
tree | 847b5c3d99cb14d69a2ce6f13bcf6eee3b75a0a5 | |
parent | 32f1489253dde0a568653e277288d8e18dc6c388 [diff] |
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>