forked from Mirrors/wasm3
Fix GCC warning: cast from pointer to integer of different size (#239)
Apart from being a warning, this is technically also an instance of undefined behavior: only uintptr_t should be used to convert between addresses and integers.opam-2.0.0
parent
908ed8b0eb
commit
728f46ab50
Loading…
Reference in new issue