diff options
Diffstat (limited to 'src/prebuilt/wasm2c.include.h')
| -rw-r--r-- | src/prebuilt/wasm2c.include.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/prebuilt/wasm2c.include.h b/src/prebuilt/wasm2c.include.h index 4ba24751..97d4aea5 100644 --- a/src/prebuilt/wasm2c.include.h +++ b/src/prebuilt/wasm2c.include.h @@ -18,6 +18,8 @@ const char SECTION_NAME(top)[] = "#define WASM_RT_ADD_PREFIX(x) WASM_RT_PASTE(WASM_RT_MODULE_PREFIX, x)\n" "\n" "/* TODO(binji): only use stdint.h types in header */\n" +"#ifndef WASM_RT_CORE_TYPES_DEFINED\n" +"#define WASM_RT_CORE_TYPES_DEFINED\n" "typedef uint8_t u8;\n" "typedef int8_t s8;\n" "typedef uint16_t u16;\n" @@ -28,6 +30,7 @@ const char SECTION_NAME(top)[] = "typedef int64_t s64;\n" "typedef float f32;\n" "typedef double f64;\n" +"#endif\n" "\n" "extern void WASM_RT_ADD_PREFIX(init)(void);\n" ; |