diff options
author | Alon Zakai <azakai@google.com> | 2021-11-22 13:55:10 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-11-22 13:55:10 -0800 |
commit | 962ecc84cd12bce59d0b2f969aa71ecafbe38ca6 (patch) | |
tree | 8d4ce17253717227beebc7fc2098ba5bf7db1772 | |
parent | 3c1c8ae829d0026024de55aa65dc3d49bd8fd37a (diff) | |
download | binaryen-962ecc84cd12bce59d0b2f969aa71ecafbe38ca6.tar.gz binaryen-962ecc84cd12bce59d0b2f969aa71ecafbe38ca6.tar.bz2 binaryen-962ecc84cd12bce59d0b2f969aa71ecafbe38ca6.zip |
Add missing include in numbering.h (#4354)
-rw-r--r-- | src/ir/numbering.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/ir/numbering.h b/src/ir/numbering.h index e4b412664..0b11a5b1c 100644 --- a/src/ir/numbering.h +++ b/src/ir/numbering.h @@ -17,6 +17,7 @@ #ifndef wasm_ir_numberings_h #define wasm_ir_numberings_h +#include "ir/properties.h" #include "wasm.h" namespace wasm { |