tmp/tmpvv32sdyu/{from.md → to.md}
RENAMED
|
@@ -1,8 +1,8 @@
|
|
| 1 |
#### Headers <a id="alt.headers">[[alt.headers]]</a>
|
| 2 |
|
| 3 |
If a file with a name equivalent to the derived file name for one of the
|
| 4 |
C++ standard library headers is not provided as part of the
|
| 5 |
implementation, and a file with that name is placed in any of the
|
| 6 |
-
standard places for a source file to be included
|
| 7 |
behavior is undefined.
|
| 8 |
|
|
|
|
| 1 |
#### Headers <a id="alt.headers">[[alt.headers]]</a>
|
| 2 |
|
| 3 |
If a file with a name equivalent to the derived file name for one of the
|
| 4 |
C++ standard library headers is not provided as part of the
|
| 5 |
implementation, and a file with that name is placed in any of the
|
| 6 |
+
standard places for a source file to be included [[cpp.include]], the
|
| 7 |
behavior is undefined.
|
| 8 |
|