diff options
| author |  gareuselesinge <gareuselesinge@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2013-07-29 13:56:08 +0000 |
|---|---|---|
| committer | gareuselesinge <gareuselesinge@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2013-07-29 13:56:08 +0000 |
| commit | 5b012a717082f443a383b081eb5df5a3ee45be31 (patch) | |
| tree | e6f879e36d3ef31965e680b01eb5ec9971ad7944 /test-suite | |
| parent | 1a53e944af3ae7a2c3fff695a1869b652d9ac5b7 (diff) | |
Revert "Only arguments declared as implicit can be renamed"
This reverts commit 18a89c271d540d794d44e41f50587bb1cad69802.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16640 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'test-suite')
0 files changed, 0 insertions, 0 deletions