--- rpl/src/instructions_o1.c	2010/04/17 18:57:35	1.10
+++ rpl/src/instructions_o1.c	2010/04/21 12:30:26	1.11
@@ -1017,6 +1017,7 @@ instruction_open(struct_processus *s_eta
 				"\"file name\" } \"protection\" } OPEN\n");
 		printf("    { \"sockettype\" { \"name\" \"local name\" } } OPEN\n");
 		printf("    { \"sockettype\" \"socketdomain\" \"protection\" } OPEN\n");
+		printf("    \"/semaphore\" OPEN\n");
 
 		printf("    File type       : NEW/OLD/REPLACE/UNKNOWN/SCRATCH\n");
 		printf("    File access     : SEQUENTIAL/DIRECT/KEYED\n");