diff options
| author | msozeau | 2007-01-30 10:57:14 +0000 |
|---|---|---|
| committer | msozeau | 2007-01-30 10:57:14 +0000 |
| commit | 0bab5d273b93d6d6392fd9bbe37d5398419468c9 (patch) | |
| tree | e7e9605e3640d5fdae31a7e1001311ce91c11168 /kernel | |
| parent | 45804f0dc095b044b7a5bf4bdb86fd42045e7ee3 (diff) | |
constr_of_pat bug with nested patterns.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9556 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions