summaryrefslogtreecommitdiffstats
path: root/gnat.adc
diff options
context:
space:
mode:
Diffstat (limited to 'gnat.adc')
-rw-r--r--gnat.adc12
1 files changed, 1 insertions, 11 deletions
diff --git a/gnat.adc b/gnat.adc
index 88cf438d7747..c4a9f72c51c5 100644
--- a/gnat.adc
+++ b/gnat.adc
@@ -1,15 +1,5 @@
---
-- This file is part of the coreboot project.
---
--- This program is free software; you can redistribute it and/or modify
--- it under the terms of the GNU General Public License as published by
--- the Free Software Foundation; version 2 of the License.
---
--- This program is distributed in the hope that it will be useful,
--- but WITHOUT ANY WARRANTY; without even the implied warranty of
--- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
--- GNU General Public License for more details.
---
+-- SPDX-License-Identifier: GPL-2.0-only
pragma Restrictions (No_Access_Subprograms);
pragma Restrictions (No_Allocators);