diff options
author | François Pottier <francois.pottier@inria.fr> | 2015-10-23 13:01:14 +0200 |
---|---|---|
committer | François Pottier <francois.pottier@inria.fr> | 2015-10-23 13:01:14 +0200 |
commit | 073e50a2b795f68e59075d6e365e72b4bd2417c1 (patch) | |
tree | b03f5729de297539eb190a74e8894c4eb0ed397b /exportclight/README | |
parent | e5d2a949f0e5cd5f1ddaece41a03f65ac1e3836e (diff) | |
download | compcert-073e50a2b795f68e59075d6e365e72b4bd2417c1.tar.gz compcert-073e50a2b795f68e59075d6e365e72b4bd2417c1.zip |
Changed [asm_flags] to a left-recursive list.
This allows us to give a better error message in one state.
Diffstat (limited to 'exportclight/README')
0 files changed, 0 insertions, 0 deletions