diff options
| author |  Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2014-07-29 12:13:28 +0200 |
|---|---|---|
| committer | Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2014-07-29 14:57:12 +0200 |
| commit | cc0dc21e24c2cd45cd1c6723fcd524e6db89f7bd (patch) | |
| tree | d4a275e5be4cf0003b995658cd90832744434899 /pretyping/tacred.ml | |
| parent | 9ba2016b81b6ce1d6f024ce674375f7ed54bae85 (diff) | |
Add test-suite file for bug #3453
Diffstat (limited to 'pretyping/tacred.ml')
0 files changed, 0 insertions, 0 deletions