diff options
author | Emilio Cobos Álvarez <emilio@crisal.io> | 2018-05-14 18:42:25 +0200 |
---|---|---|
committer | Emilio Cobos Álvarez <emilio@crisal.io> | 2018-05-16 01:30:24 +0200 |
commit | 716d53b02d363880184c05e80f8bf4982ee1ed23 (patch) | |
tree | 10ab032849549f0e74e39caa5ac4551515317e70 /src/ir/function.rs | |
parent | 35fb11392449fd34db36b05c24b2f3e746120705 (diff) |
Handle pointer constness at the right level.
Diffstat (limited to 'src/ir/function.rs')
0 files changed, 0 insertions, 0 deletions