diff options
Diffstat (limited to 'gcc/system.h')
-rw-r--r-- | gcc/system.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/system.h b/gcc/system.h index 9e7d5030465..0ccd9917b94 100644 --- a/gcc/system.h +++ b/gcc/system.h @@ -1037,4 +1037,8 @@ helper_const_non_const_cast (const char *p) #define DEBUG_VARIABLE #endif +#ifndef GENERATOR_FILE +#include <gmp.h> +#endif + #endif /* ! GCC_SYSTEM_H */ |