diff options
| author | msozeau | 2008-09-09 08:55:34 +0000 |
|---|---|---|
| committer | msozeau | 2008-09-09 08:55:34 +0000 |
| commit | 85972057e714da016b9299f47b833aec31220403 (patch) | |
| tree | 9e28b119cd0457b2990cf549ab64e857bd4e3038 /kernel | |
| parent | bd7f800d5fc48dcb7bfae475e796f6e18901fbcb (diff) | |
Fix a bug reintroduced in [setoid_reflexivity] etc...
Go back to refine_hyp instead of specialize, because only the former
handles open terms.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11391 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions