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

[mirror_ubuntu-kernels.git] / tools / testing / selftests / rcutorture / formal / srcu-cbmc / src / workqueues.h

diff --git a/tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/workqueues.h b/tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/workqueues.h
index e58c8dfd3e901af3284945e1b9529c711ce521f2..28b9603009711825f6271f488cd5a685330f10ec 100644 (file)
--- a/tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/workqueues.h
+++ b/tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/workqueues.h
@@ -1,3 +1,4 @@
+/* SPDX-License-Identifier: GPL-2.0 */
 #ifndef WORKQUEUES_H
 #define WORKQUEUES_H