diff options
| author | Gaëtan Gilbert | 2020-02-06 15:51:18 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-02-06 21:17:56 +0100 |
| commit | a9e4f78935ba091d7e012df8398bccc5d08d1370 (patch) | |
| tree | ff781088a0ef9c832becc85d75d0c14fba63f793 /plugins/syntax/float_syntax.ml | |
| parent | 9268c5f9e066730eef6f831b4fcdc55f5a022b36 (diff) | |
Fix evar map leak in Tactics.find_induction_type
Diffstat (limited to 'plugins/syntax/float_syntax.ml')
0 files changed, 0 insertions, 0 deletions