X-Git-Url: https://git.liburcu.org/?p=urcu.git;a=blobdiff_plain;f=doc%2Fexamples%2Fwfcqueue%2Fcds_wfcq_splice.c;h=cb6f76bb06be30e641961c87712d62bd18d18e37;hp=bb2e51229a7257f90064dcd3d1e05b25c24e4190;hb=70469b43316ecc8d6053550504858ad8a8ef9b16;hpb=8f09dfa72762669a41b322388a7c15ee010265f0

diff --git a/doc/examples/wfcqueue/cds_wfcq_splice.c b/doc/examples/wfcqueue/cds_wfcq_splice.c
index bb2e512..cb6f76b 100644
--- a/doc/examples/wfcqueue/cds_wfcq_splice.c
+++ b/doc/examples/wfcqueue/cds_wfcq_splice.c
@@ -69,7 +69,7 @@ void print_queue(struct cds_wfcq_head *head,
 	printf("\n");
 }
 
-int main(int argc, char **argv)
+int main(void)
 {
 	int values_A[] = { -5, 42, 36, 24, };
 	int values_B[] = { 200, 300, 400, };
@@ -105,5 +105,6 @@ int main(int argc, char **argv)
 	print_queue(&head_A, &tail_A, "queue A content after splice");
 	print_queue(&head_B, &tail_B, "queue B content after splice");
 end:
+	cds_wfcq_destroy(&head_A, &tail_A);
 	return ret;
 }