diff options
| author | Pierre-Marie Pédrot | 2020-03-17 18:33:49 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-03-17 18:39:51 +0100 |
| commit | ca91aa115378ec24a5be34ba506b071b4662df4b (patch) | |
| tree | e6e5af9b33428e29040ba532f005e99f5297e497 /doc | |
| parent | b08ac5ac52f6ed361a3153b4efd4705bc4a172bc (diff) | |
Properly thread let-bindings in Funind principle construction.
Fixes #11846: Funind fails to generate principles for terms with let bindings.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions