diff options
| author | Hugo Herbelin | 2016-04-26 15:12:30 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2016-04-27 21:55:50 +0200 |
| commit | 94e9e28ebaa33e11164ca07f225d998ca7f8e52c (patch) | |
| tree | fe2a67ecc08cd20ae79c0cfc471068c3572e8d33 /doc | |
| parent | eaca8dadf7dd8152a86f4fc75631754344268dbf (diff) | |
Fixing a De Bruijn bug in computing return predicate by inversion.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions