License cleanup: add SPDX GPL-2.0 license identifier to files with no license

[sfrench/cifs-2.6.git] / tools / testing / selftests / rcutorture / formal / srcu-cbmc / src / combined_source.c

diff --git a/tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/combined_source.c b/tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/combined_source.c
index 29eb5d2697ed8416f24bed05f3065dd86f33d541..e67ee5b3dd7c86377098a510eb281f1104efa39e 100644 (file)
--- a/tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/combined_source.c
+++ b/tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/combined_source.c
@@ -1,3 +1,4 @@
+// SPDX-License-Identifier: GPL-2.0
 #include <config.h>
 
 /* Include all source files. */