diff options
| author |  msozeau <msozeau@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2009-04-03 20:37:57 +0000 |
|---|---|---|
| committer | msozeau <msozeau@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2009-04-03 20:37:57 +0000 |
| commit | 57cb2e40d0fb6e65a82fd1cda7930b7a6f743c8f (patch) | |
| tree | f02b15a29d58552edd2447982c65f8d0ef4f7098 /tactics/hipattern.ml4 | |
| parent | dff6f3dbed334ad1179cc1abf8708365c2309106 (diff) | |
Fix obvious bug in evars_of_named_context.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12049 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'tactics/hipattern.ml4')
0 files changed, 0 insertions, 0 deletions