1// The -*- C++ -*- time header. 2// This file is part of the GNU ANSI C++ Library. 3 4#ifndef __CTIME__ 5#define __CTIME__ 6#include <time.h> 7#endif 8