diff options
| -rw-r--r-- | tests/tcg/aarch64/system/vtimer.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/tcg/aarch64/system/vtimer.c b/tests/tcg/aarch64/system/vtimer.c index 42f2f7796c..7d725eced3 100644 --- a/tests/tcg/aarch64/system/vtimer.c +++ b/tests/tcg/aarch64/system/vtimer.c @@ -6,7 +6,7 @@ * SPDX-License-Identifier: GPL-2.0-or-later */ -#include <inttypes.h> +#include <stdint.h> #include <minilib.h> /* grabbed from Linux */ |