diff options
| author | Kathy Gray | 2014-06-26 17:18:07 +0100 |
|---|---|---|
| committer | Kathy Gray | 2014-06-26 17:50:07 +0100 |
| commit | 4b36652baceaadedef22af4f929461dad7992852 (patch) | |
| tree | 605bc4189872cad927cb56f9308b71cfe831f2a3 /src/pretty_print.ml | |
| parent | a0b11f48e6e879eb811cb9f29e1bb817da1b3525 (diff) | |
range -> vector coerces only on constants and explicit casts
Diffstat (limited to 'src/pretty_print.ml')
0 files changed, 0 insertions, 0 deletions