diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2017-10-25 19:50:08 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-10-25 19:50:08 -0700 |
commit | 668f31897cf90544d089f53f0f4499b828d7f84b (patch) | |
tree | f6418e58df5d9512adb11043f853fdea1398be82 /src/util/unsafe_interrupt_exception.h | |
parent | 13c8e4a7b8575142ce9b70747969b71039389dfa (diff) |
Use uintptr_t for pointer casts in Swig files (#1278)
CVC4's Swig interface files were casting pointers to longs in multiple
instances. The problem with that is that on certain platforms *cough*
Windows/MinGW *cough* long is only 32-bit even when compiling a 64-bit
executable (they use the LLP64 data model). This made the compilation of
language bindings fail with MinGW. This commit changes the types to
uintptr_t defined in Swig's stdint.i.
Diffstat (limited to 'src/util/unsafe_interrupt_exception.h')
0 files changed, 0 insertions, 0 deletions