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 /flocq | |
| parent | ce7013f94c97b0e46da03c97812b38df001fbc9d (diff) | |
| download | compcert-kvx-2b598161e216402db6fe3780f1a00d7802bccb21.tar.gz compcert-kvx-2b598161e216402db6fe3780f1a00d7802bccb21.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 'flocq')
0 files changed, 0 insertions, 0 deletions