diff options
| author | letouzey | 2013-08-20 22:13:22 +0000 |
|---|---|---|
| committer | letouzey | 2013-08-20 22:13:22 +0000 |
| commit | 413f5fcd4bf581ff3ea4694c193d637589c7d54f (patch) | |
| tree | 1a8aa0b0014494d0c18770f22b138c28d9dd9977 /configure | |
| parent | bcd4175bafe1d2a321e37b8265d69594981822d2 (diff) | |
Partial revert of r16711
It seems that it's critical for the native compiler that
a fresh (ref NotLinked) is created during substitution.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16719 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions