diff options
| author | msozeau | 2008-11-07 14:05:05 +0000 |
|---|---|---|
| committer | msozeau | 2008-11-07 14:05:05 +0000 |
| commit | 6d7cd9583e50c60c5dfa076f4f8a3b8add37a755 (patch) | |
| tree | 20b2cee2ddee4fc60ef37af1ef9c4757a5612357 /dev | |
| parent | b626be96132d2dc65be5acb054d343a9eeffc826 (diff) | |
Fix universe problem appearing ConCaT using the existing infrastructure for
declaring additional conversion problems when unifying the type of an
evar instance and the evar's declared type. Fix the corresponding
conversion heuristic which failed due to (misplaced?) assertions when
faced with general conversion problems.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11549 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions