xbt_dynar_reset(state->lints);
- xbt_dict_free ( &(state->space) );
- state->space = xbt_dict_new();
+ xbt_dict_reset (state->space);
xbt_dynar_reset(state->frames);
xbt_dynar_reset(state->globals);
gras_cbps_block_end(gras_cbps_t ps) {
xbt_dynar_t frame = NULL;
- int cursor = 0;
+ unsigned int cursor = 0;
char *name = NULL;
xbt_assert0(xbt_dynar_length(ps->frames),