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 /cfrontend/SimplExpr.v | |
parent | f2350a3a112950bea11af821754d8f674dda9f9e (diff) | |
download | compcert-89476ea80ecfc7af02ef5026d0f45b61d243e3b0.tar.gz compcert-89476ea80ecfc7af02ef5026d0f45b61d243e3b0.zip |
Changed the size expression to 2byte for debug_loc entries.
Diffstat (limited to 'cfrontend/SimplExpr.v')
0 files changed, 0 insertions, 0 deletions