version 1.125, 2012/12/13 16:59:43
|
version 1.126, 2012/12/14 14:19:50
|
Line 5662 rplinit(int argc, char *argv[], char *en
|
Line 5662 rplinit(int argc, char *argv[], char *en
|
*/ |
*/ |
|
|
liberation_arbre_variables_partagees(s_etat_processus, |
liberation_arbre_variables_partagees(s_etat_processus, |
(*s_etat_processus).s_arbre_variables, d_vrai); |
(*s_etat_processus).s_arbre_variables); |
liberation_arbre_variables(s_etat_processus, |
liberation_arbre_variables(s_etat_processus, |
(*s_etat_processus).s_arbre_variables, d_vrai); |
(*s_etat_processus).s_arbre_variables, d_vrai); |
free((*s_etat_processus).pointeurs_caracteres_variables); |
free((*s_etat_processus).pointeurs_caracteres_variables); |