diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-08-26 14:28:22 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-08-26 14:28:22 +0200 |
commit | 108db39b8b7c1d42cbc38c5aabf885ef5440f189 (patch) | |
tree | c5f6433d93f22f19e645df40f03b5c3bc2970fe8 /ia32/SelectOp.vp | |
parent | e0f1a60f5ff9d2efc8b106b5167f0170b8795dbe (diff) | |
download | compcert-108db39b8b7c1d42cbc38c5aabf885ef5440f189.tar.gz compcert-108db39b8b7c1d42cbc38c5aabf885ef5440f189.zip |
Added the abbreviation for symbol constants.
Diffstat (limited to 'ia32/SelectOp.vp')
0 files changed, 0 insertions, 0 deletions