Standard header format.

[Gabriel Dos Reis]

"Steven T. Hatton" <hattons@globalsymmetry.com> writes:

[...]

| Stroustrup did not say read the documentation of your standard headers.

He did not say look into the header files.

[...]

| I guess what you are suggesting is that
| /home/hattons/opt/org/gnu/gcc-3.3.3/include/c++/3.3.3/vector
| is not a header file.

No.  I'm saying <vector> need not be a file.

-- Gaby