diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2020-12-01 15:25:30 +0100 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2020-12-01 15:25:30 +0100 |
commit | 790161a565674a5f90bfefc11e5f2a07a73a9f6c (patch) | |
tree | bd119df8fe2a5dc0cfca3005f8db9273d197e8be /lib/Impure/ImpHCons.v | |
parent | 43a7cc2a7305395b20d92b240362ddfdb43963ff (diff) | |
download | compcert-kvx-790161a565674a5f90bfefc11e5f2a07a73a9f6c.tar.gz compcert-kvx-790161a565674a5f90bfefc11e5f2a07a73a9f6c.zip |
Ignore loopback edges on tail-duplicate
Diffstat (limited to 'lib/Impure/ImpHCons.v')
0 files changed, 0 insertions, 0 deletions