diff options
| author | Pierre-Marie Pédrot | 2015-09-15 16:23:57 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2015-09-15 16:33:40 +0200 |
| commit | 150cbcc8f4a6e011a089ffd1d6126058ef6e107d (patch) | |
| tree | e186b500d42206012e7107fe0ddf3f8dc5a7706f /_CoqProject | |
| parent | f5e0f609c8c2c77205fcfb296535a7d8856db584 (diff) | |
Fixing bug #4269: [Print Assumptions] lies about which axioms a term depends on.
This was because the traversal algorithm used canonical names instead of user
names, confusing which term was defined and which term was an axiom.
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions