diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2013-02-10 18:33:46 -0800 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2013-02-10 18:33:46 -0800 |
| commit | 123063bc5bdbebce5bafb79b89f507ba0a0c1488 (patch) | |
| tree | 4d24a70e40d82e8e55568334e262a40ed8a69cce /tools/shared.py | |
| parent | 4928f86a496bec355df44b2f54e080706b07fcce (diff) | |
force inputs to inttoptr to be i32 if they are i64; fixes #827
Diffstat (limited to 'tools/shared.py')
0 files changed, 0 insertions, 0 deletions