c_src: update

[nit.git] / c_src / time_nit.h

diff --git a/c_src/time_nit.h b/c_src/time_nit.h
new file mode 100644 (file)
index 0000000..d5b5894
--- /dev/null
+++ b/c_src/time_nit.h
@@ -0,0 +1,19 @@
+#ifndef __TIME_NIT_H
+#define __TIME_NIT_H
+/* This file is part of NIT ( http://www.nitlanguage.org ).
+ *
+ * Copyright 2008 Floréal Morandat <morandat@lirmm.fr> 
+ *
+ * This file is free software, which comes along with NIT.  This software is
+ * distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY;
+ * without  even  the implied warranty of  MERCHANTABILITY or  FITNESS FOR A
+ * PARTICULAR PURPOSE.  You can modify it is you want,  provided this header
+ * is kept unaltered, and a notification of the changes is added.
+ * You  are  allowed  to  redistribute it and sell it, alone or is a part of
+ * another product.
+ */
+
+#include <time.h>
+#define kernel_Any_Any_get_time_0(self) time(NULL)
+
+#endif