-/* This C header file is generated by NIT to compile modules and programs that requires ./../lib/standard/time. */
+/* This C header file is generated by NIT to compile modules and programs that requires ../lib/standard/time. */
#ifndef standard___time_sep
#define standard___time_sep
#include "standard___kernel._sep.h"