diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-28 09:48:07 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-28 09:48:07 +0200 |
| commit | 89476ea80ecfc7af02ef5026d0f45b61d243e3b0 (patch) | |
| tree | 0a5e5497510a9c436168e75beeff9d9c2d78f13d /debug/Debug.ml | |
| parent | f2350a3a112950bea11af821754d8f674dda9f9e (diff) | |
| download | compcert-kvx-89476ea80ecfc7af02ef5026d0f45b61d243e3b0.tar.gz compcert-kvx-89476ea80ecfc7af02ef5026d0f45b61d243e3b0.zip | |
Changed the size expression to 2byte for debug_loc entries.
Diffstat (limited to 'debug/Debug.ml')
0 files changed, 0 insertions, 0 deletions