diff options
author | 2017-09-25 10:49:18 +0200 | |
---|---|---|
committer | 2017-09-25 10:49:18 +0200 | |
commit | 43cd1660807b7da915d405d7aa9af8082b5d85f6 (patch) | |
tree | 6ed698aed58641eee9608a41b310e0bc7517c0b0 /tools | |
parent | f48ada1566daa5245244be3706c1b8c71237c374 (diff) | |
parent | 6d1b7368267a4da980980efa682cf3fb8f1e8394 (diff) |
Merge PR #1083: Fixing bug in building _rect scheme for inductive types with let-ins and non-recursively uniform parameters
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions