--- rpl/src/instructions_o1.c 2010/04/07 13:45:07 1.9 +++ rpl/src/instructions_o1.c 2010/04/17 18:57:35 1.10 @@ -4081,6 +4081,10 @@ instruction_open(struct_processus *s_eta strcpy((*((struct_socket *) (*s_objet_resultat).objet)). type, "ROBUST DATAGRAM"); break; + + default : + BUG(1, printf("type_socket=%c\n", type_socket)); + break; } if ((protection != 'N') && ((type_socket != 'S') &&