diff options
author | ppedrot <ppedrot@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2013-10-28 14:16:53 +0000 |
---|---|---|
committer | ppedrot <ppedrot@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2013-10-28 14:16:53 +0000 |
commit | 3c36e46caf34e5033ba9378674caee0efa93d809 (patch) | |
tree | 65ea2fd9ecdaeeb9c0e5cecbf376e07dc6eb1d00 /kernel/nativelib.ml | |
parent | e2f74e1febf60aaae104ef077e40985b4cf19f5f (diff) |
Evar leak in "absurd" tactic.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16943 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/nativelib.ml')
0 files changed, 0 insertions, 0 deletions