diff options
| author | Matthieu Sozeau | 2016-11-04 15:55:52 +0100 |
|---|---|---|
| committer | Matthieu Sozeau | 2016-11-04 16:00:52 +0100 |
| commit | 22dfbff296cf03b6fab2bcec4eb5f9cf6ee8368c (patch) | |
| tree | 096a4ff4fec84349501f2f94f4011432337a8a5e /plugins | |
| parent | 6bb352a6743c7332b9715ac15e95c806a58d101c (diff) | |
Fix #3441 Use pf_get_type_of to avoid blowup
... in pose proof of large proof terms
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions