diff options
| author | Matthieu Sozeau | 2014-06-23 17:38:56 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2014-06-23 18:31:17 +0200 |
| commit | ee2adce57aac1ffe21681a9d31a8e8bc4f94210b (patch) | |
| tree | dc429d5a72b20bab0a4333b9592e12dcf40da6cf /dev | |
| parent | 54b1866084938d46e510146a46bad8a712da27b7 (diff) | |
Fix test-suite script for subst working with let-ins, the following proof was rightly failing.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions