lib/standard/time_nit.h

   1 #ifndef __TIME_NIT_H
   2 #define __TIME_NIT_H
   3 /* This file is part of NIT ( http://www.nitlanguage.org ).
   4  *
   5  * Copyright 2008 Floréal Morandat <morandat@lirmm.fr>
   6  *
   7  * This file is free software, which comes along with NIT.  This software is
   8  * distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY;
   9  * without  even  the implied warranty of  MERCHANTABILITY or  FITNESS FOR A
  10  * PARTICULAR PURPOSE.  You can modify it is you want,  provided this header
  11  * is kept unaltered, and a notification of the changes is added.
  12  * You  are  allowed  to  redistribute it and sell it, alone or is a part of
  13  * another product.
  14  */
  15
  16 #include <time.h>
  17 #define kernel_Any_Any_get_time_0(self) time(NULL)
  18
  19 #endif