--- rpl/modules/sets/types.rplc	2017/07/02 22:28:20	1.4
+++ rpl/modules/sets/types.rplc	2017/07/12 15:42:24	1.5
@@ -232,13 +232,19 @@ declareTypeExtension(dup)
 	(*n_arg).extension_type =
 			(**((struct_objet **) arg)).extension_type;
 
+	if (((*((set_t *) ((*n_arg).objet))).values = malloc((*((set_t *)
+			((*n_arg).objet))).size * sizeof(integer8))) == NULL)
+	{
+		typeSystemError;
+	}
+
 	for(i = 0; i < (*((set_t *) (**((struct_objet **) arg)).objet)).size; i++)
 	{
 		(*((set_t *) ((*n_arg).objet))).values[i] =
 				(*((set_t *) (**((struct_objet **) arg)).objet)).values[i];
 	}
 
-	arg = (void **) &n_arg;
+	(*((struct_objet **) arg)) = n_arg;
 	typeSuccess;
 endTypeExtension