diff options
| author | herbelin | 2011-11-16 08:46:41 +0000 |
|---|---|---|
| committer | herbelin | 2011-11-16 08:46:41 +0000 |
| commit | 73e164c4bbb495703222a026e0b405c5b0bbb547 (patch) | |
| tree | 9f5f888af5120a5fdb319671d05a9a70e42c42e8 /plugins | |
| parent | 98b613cfa6a5f01b2641f101e5abaaa6f5f9b9ad (diff) | |
Specialization of tomatch in pattern-matching compilation was done too
late for being taken into account in generalized declarations. Do it
build_branch as it was for specialization of the predicate.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14661 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions