diff options
| author | Hugo Herbelin | 2016-04-27 22:13:02 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2016-04-27 22:13:02 +0200 |
| commit | e3ae713fd0de23e8a09e5e13d07ca5727f089796 (patch) | |
| tree | 494839d31c99d57fef915e42ceed00790e3e5e78 /dev | |
| parent | c13b589601a8fc9bf5a6142caa0480fe8a59327e (diff) | |
Revert "Fixing a De Bruijn bug in computing return predicate by inversion."
This reverts commit 94e9e28ebaa33e11164ca07f225d998ca7f8e52c.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions