--- rpl/src/gestion_pile_systeme.c 2010/04/20 12:49:18 1.7 +++ rpl/src/gestion_pile_systeme.c 2010/05/16 19:36:20 1.9 @@ -1,6 +1,6 @@ /* ================================================================================ - RPL/2 (R) version 4.0.14 + RPL/2 (R) version 4.0.15 Copyright (C) 1989-2010 Dr. BERTRAND Joël This file is part of RPL/2. @@ -211,6 +211,8 @@ depilement_pile_systeme(struct_processus if ((*s_etat_processus).l_base_pile_systeme == NULL) { + rplcore(s_etat_processus); + BUG(1); (*s_etat_processus).erreur_systeme = d_es_pile_vide; } else