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

[thirdparty/kernel/linux.git] / tools / testing / selftests / rcutorture / formal / srcu-cbmc / include / linux / types.h

diff --git a/tools/testing/selftests/rcutorture/formal/srcu-cbmc/include/linux/types.h b/tools/testing/selftests/rcutorture/formal/srcu-cbmc/include/linux/types.h
index 4a3d538fef128c3eb71ec5bd6b2c779bd3cc33d8..891ad13e95b2dc420a0e84344c697b5d5afeb08c 100644 (file)
--- a/tools/testing/selftests/rcutorture/formal/srcu-cbmc/include/linux/types.h
+++ b/tools/testing/selftests/rcutorture/formal/srcu-cbmc/include/linux/types.h
@@ -1,3 +1,4 @@
+/* SPDX-License-Identifier: GPL-2.0 */
 /*
  * This header has been modifies to remove definitions of types that
  * are defined in standard userspace headers or are problematic for some