diff options
| author | Gaëtan Gilbert | 2019-05-16 14:32:09 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-05-16 15:40:50 +0200 |
| commit | 11533785773269d9632ef8925ed34ea2d541818b (patch) | |
| tree | a814044c27d45a10373c5a42739ad302c29e00ce /engine/ftactic.ml | |
| parent | 21269d0fef6794a672c36abdc5760889adc0e09c (diff) | |
Fix #10176: shadowing vs automatic class based generalization
Diffstat (limited to 'engine/ftactic.ml')
0 files changed, 0 insertions, 0 deletions