diff options
author | 2016-03-28 16:07:44 +0200 | |
---|---|---|
committer | 2016-03-28 16:15:35 +0200 | |
commit | 59586ce49266f6b709cb53e4647b8907a7a08eb8 (patch) | |
tree | 55df78fa09331e7fc1e02dd9bcd43e8dfdcff33d /config/coq_config.mli | |
parent | 111e5edfe388d2f41ddef11800dac55b060b280b (diff) |
Fixing an evar leak in Rewrite introduced by 968dfdb15.
Diffstat (limited to 'config/coq_config.mli')
0 files changed, 0 insertions, 0 deletions