// -*- C++ -*- forwarding header.
// This file is part of the GNU ANSI C++ Library.

#ifndef __CTIME__
#include <std/ctime.h>
#endif
