diff options
author | 2015-12-15 23:15:02 +0100 | |
---|---|---|
committer | 2015-12-15 23:15:02 +0100 | |
commit | 33742251e62a49c7996b96ca7077cf985627d14b (patch) | |
tree | e75d9166f963fdfa21ab754e2c9471909143ac60 /test-suite/success/ProgramWf.v | |
parent | 7212e6c4a742110138a268650a59a67ef28d0582 (diff) |
Proof using: do not clear unused section hyps automatically
The option is still there, but not documented since it is too
dangerous. Hints and type classes instances are not taking cleared
variables into account.
Diffstat (limited to 'test-suite/success/ProgramWf.v')
0 files changed, 0 insertions, 0 deletions