--- classes/include/ArtsHeader.hh.orig 2007-11-12 16:12:56.000000000 +0100 +++ classes/include/ArtsHeader.hh 2007-11-12 16:14:55.000000000 +0100 @@ -421,14 +421,14 @@ //......................................................................... //! Reads the ARTS header from an istream. //------------------------------------------------------------------------- - std::istream& ArtsHeader::read(std::istream& is); + std::istream& read(std::istream& is); //------------------------------------------------------------------------- // int ArtsHeader::read(int fd) //......................................................................... //! Reads the ARTS header from a file descriptor. //------------------------------------------------------------------------- - int ArtsHeader::read(int fd); + int read(int fd); //-------------------------------------------------------------------------