diff options
| author | Hugo Herbelin | 2015-01-12 12:56:07 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2015-01-12 12:56:07 +0100 |
| commit | 4b8cd99705596052b7b45f29c248c9d02875ccdc (patch) | |
| tree | 45d4145f03723025eb75781525fedd478d32e5a1 /pretyping/typeclasses_errors.ml | |
| parent | bd3acff29dbdbf329d9ef6a92289e504ef688803 (diff) | |
Fixing name of evars in output test Notation.v.
Diffstat (limited to 'pretyping/typeclasses_errors.ml')
0 files changed, 0 insertions, 0 deletions