/* This C file is generated by NIT to compile module time. */
#include "time._sep.h"
val_t time___Object___get_time(val_t self) {
- struct trace_t trace = {NULL, LOCATE_time, 18, LOCATE_time___Object___get_time};
+ struct trace_t trace = {NULL, NULL, 18, LOCATE_time___Object___get_time};
trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_time;
tracehead = trace.prev;
return TAG_Int(kernel_Any_Any_get_time_0( self));
}