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