diff options
Diffstat (limited to 'src/core/random.c')
| -rw-r--r-- | src/core/random.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/core/random.c b/src/core/random.c index 6e7374e3..8824dca3 100644 --- a/src/core/random.c +++ b/src/core/random.c @@ -7,7 +7,7 @@ FILE_LICENCE ( GPL2_OR_LATER ); #include <stdlib.h> -#include <gpxe/timer.h> +#include <ipxe/timer.h> static int32_t rnd_seed = 0; |