diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-10-04 17:48:40 +0200 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2018-04-24 11:17:19 +0200 |
| commit | 8ad2312b33bb27b751ab1ec6463333c150f0bb3b (patch) | |
| tree | 5848aaecbf0ae681543e62e65e9700405ee1519f /printing | |
| parent | 5c34cfa54ec1959758baa3dd283e2e30853380db (diff) | |
Adding a flag to support different naming modes for evar hypotheses.
Four modes currently supported to deal with clashes:
1. Failing in case of clash
2. Renaming the most recent one
3. Renaming the previous hypothesis of same name if not a section variable
4. Renaming the previous hypothesis of same name even if a section variable
The current mode is 3. Keeping it active by default
Diffstat (limited to 'printing')
0 files changed, 0 insertions, 0 deletions