X-Git-Url: http://git.liburcu.org/?a=blobdiff_plain;f=doc%2Fexamples%2Fwfcqueue%2Fcds_wfcq_dequeue.c;h=01a34a5f434738d86bb116a7ca08fadf9e1e6ef2;hb=HEAD;hp=c2783510ce1e0d8311833455fdc3db3b91b55133;hpb=8f09dfa72762669a41b322388a7c15ee010265f0;p=urcu.git

diff --git a/doc/examples/wfcqueue/cds_wfcq_dequeue.c b/doc/examples/wfcqueue/cds_wfcq_dequeue.c
index c278351..01a34a5 100644
--- a/doc/examples/wfcqueue/cds_wfcq_dequeue.c
+++ b/doc/examples/wfcqueue/cds_wfcq_dequeue.c
@@ -1,15 +1,8 @@
+// SPDX-FileCopyrightText: 2013 Mathieu Desnoyers <mathieu.desnoyers@efficios.com>
+//
+// SPDX-License-Identifier: MIT
+
 /*
- * Copyright (C) 2013  Mathieu Desnoyers <mathieu.desnoyers@efficios.com>
- *
- * THIS MATERIAL IS PROVIDED AS IS, WITH ABSOLUTELY NO WARRANTY EXPRESSED
- * OR IMPLIED.  ANY USE IS AT YOUR OWN RISK.
- *
- * Permission is hereby granted to use or copy this program for any
- * purpose,  provided the above notices are retained on all copies.
- * Permission to modify the code and to distribute modified code is
- * granted, provided the above notices are retained, and a notice that
- * the code was modified is included with the above copyright notice.
- *
  * This example shows how to dequeue nodes from a wfcqueue.
  */
 
@@ -27,7 +20,7 @@ struct mynode {
 	struct cds_wfcq_node node;	/* Chaining in queue */
 };
 
-int main(int argc, char **argv)
+int main(void)
 {
 	int values[] = { -5, 42, 36, 24, };
 	struct cds_wfcq_head myqueue_head;	/* Queue head */
@@ -75,5 +68,6 @@ int main(int argc, char **argv)
 	}
 	printf("\n");
 end:
+	cds_wfcq_destroy(&myqueue_head, &myqueue_tail);
 	return ret;
 }