diff options
Diffstat (limited to 'lib/u64.h')
| -rw-r--r-- | lib/u64.h | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/lib/u64.h b/lib/u64.h index b71d224e649..63339cca0fc 100644 --- a/lib/u64.h +++ b/lib/u64.h @@ -17,11 +17,13 @@ /* Written by Paul Eggert. */ -#include <stdint.h> - -#ifndef _GL_INLINE_HEADER_BEGIN +/* This file uses _GL_INLINE_HEADER_BEGIN, _GL_INLINE. */ +#if !_GL_CONFIG_H_INCLUDED #error "Please include config.h first." #endif + +#include <stdint.h> + _GL_INLINE_HEADER_BEGIN #ifndef _GL_U64_INLINE # define _GL_U64_INLINE _GL_INLINE |