Re: Some compilation problems with latest cvs

[Asger K. Alstrup Nielsen]

> Asger> #include <Vector>
> 
> Asger> which corresponds to
> 
> Asger> #include <vector> using std::vector;
> 
> Asger> is a good solution...
> 
> How standard is that? I do not have such header here...

Oh, it's absolutely not standard.  The intent was that
*we* provide the Vector file, and implement it such that
it corresponds to "#include <vector> \n using std::vector;"

Greets,

Asger