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 / assume.h

diff --git a/tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/assume.h b/tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/assume.h
index a64955447995f1def9c01c7b92b7ab635a227078..570a49d9da7e2bbd6237bc80d3ee758f02aacb53 100644 (file)
--- a/tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/assume.h
+++ b/tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/assume.h
@@ -1,3 +1,4 @@
+/* SPDX-License-Identifier: GPL-2.0 */
 #ifndef ASSUME_H
 #define ASSUME_H