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 /kernel/type_errors.ml | |
| 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 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions