diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-11-08 09:41:38 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-11-08 09:41:38 +0100 |
commit | 9e9c57616c9cf683ed65b1ba60510b8ae8066700 (patch) | |
tree | a391327cde328b9decb81b683563a87c0f7d9554 /flocq | |
parent | 43b557ce847b56c1cfae2081c7585191043a85b6 (diff) | |
download | compcert-9e9c57616c9cf683ed65b1ba60510b8ae8066700.tar.gz compcert-9e9c57616c9cf683ed65b1ba60510b8ae8066700.zip |
Simplifiy handling of constant emmitting.
Instead of just storing the constants in a list, they are now
stored in a hashtable. This avoids printing of duplicates.
Bug 22525
Diffstat (limited to 'flocq')
0 files changed, 0 insertions, 0 deletions