diff options
author | 2017-07-15 15:37:45 +0200 | |
---|---|---|
committer | 2017-07-16 17:16:41 +0200 | |
commit | fa4e56987871c1b0a0b68e8f0864805e5f141ca9 (patch) | |
tree | ffb40439cb6b903657c34ec4129bd261b14acc3a /theories/FSets/FSetPositive.v | |
parent | e3eb17a728d7b6874e67462e8a83fac436441872 (diff) |
Removing a dummy parameter in some FMapPositive statements.
The statements xelements_bits_lt_1 and xelements_bits_lt_2 had an
unexpected extra dependency due to a name collision with a section
variable.
Diffstat (limited to 'theories/FSets/FSetPositive.v')
0 files changed, 0 insertions, 0 deletions