diff options
| author |  letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-11-14 17:16:53 +0000 |
|---|---|---|
| committer | letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-11-14 17:16:53 +0000 |
| commit | fdf0426dcda0b244ed5399a6590841308f8e3348 (patch) | |
| tree | 65dcb704eeac345ddc53522c403999de9977c322 /COMPATIBILITY | |
| parent | 76c005d5d27e140cb9f0b70ed6390e5f291b3b37 (diff) | |
Restores behaviour of v8.1 for unification problems which fail (backport of 11585)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11590 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'COMPATIBILITY')
0 files changed, 0 insertions, 0 deletions