diff options
Diffstat (limited to 'lib/gl_set.h')
| -rw-r--r-- | lib/gl_set.h | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/lib/gl_set.h b/lib/gl_set.h index b600ad572e..e88e2552bd 100644 --- a/lib/gl_set.h +++ b/lib/gl_set.h @@ -18,11 +18,14 @@ #ifndef _GL_SET_H #define _GL_SET_H -#include <stddef.h> - -#ifndef _GL_INLINE_HEADER_BEGIN +/* This file uses _GL_INLINE_HEADER_BEGIN, _GL_INLINE, + _GL_ATTRIBUTE_NODISCARD. */ +#if !_GL_CONFIG_H_INCLUDED #error "Please include config.h first." #endif + +#include <stddef.h> + _GL_INLINE_HEADER_BEGIN #ifndef GL_SET_INLINE # define GL_SET_INLINE _GL_INLINE |