- instr_destroy_platform();
-}
-
-static void TRACE_surf_set_resource_variable(double date,
- const char *variable,
- const char *resource,
- double value)
-{
- char value_str[INSTR_DEFAULT_STR_SIZE];
- snprintf(value_str, 100, "%f", value);
- pajeSetVariable(date, variable, instr_id(resource), value_str);