c_src/time._sep.c

   1 /* This C file is generated by NIT to compile module time. */
   2 #include "time._sep.h"
   3 val_t time___Object___get_time(val_t  self) {
   4   struct trace_t trace = {NULL, NULL, 18, LOCATE_time___Object___get_time};
   5   val_t *variable = NULL;
   6   struct WBT_ **closurevariable = NULL;
   7   trace.prev = tracehead; tracehead = &trace;
   8   trace.file = LOCATE_time;
   9   tracehead = trace.prev;
  10   return TAG_Int(kernel_Any_Any_get_time_0( self));
  11 }