diff options
author | Bernhard Schommer <bschommer@users.noreply.github.com> | 2018-01-15 10:30:11 +0100 |
---|---|---|
committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2018-01-15 10:30:11 +0100 |
commit | 2b598161e216402db6fe3780f1a00d7802bccb21 (patch) | |
tree | b18318515d71829ad0081b1ee1e07d0895736caa /cil/LICENSE | |
parent | ce7013f94c97b0e46da03c97812b38df001fbc9d (diff) | |
download | compcert-3.2.tar.gz compcert-3.2.zip |
Added type annotations for exported program. (#50)v3.2
Added types for global_definitions in order to avoid problems with
implicit parameters. This should fix issue 215
Diffstat (limited to 'cil/LICENSE')
0 files changed, 0 insertions, 0 deletions