From 63f621911013d05ffb3d931e153e998609d708cb Mon Sep 17 00:00:00 2001 From: Corey Lewis Date: Thu, 19 Dec 2024 10:45:52 +1100 Subject: [PATCH] arm+arm-hyp+riscv64 squash: PR suggestions Signed-off-by: Corey Lewis --- spec/design/skel/ARM/Arch_Structs_B.thy | 2 +- spec/design/skel/ARM_HYP/Arch_Structs_B.thy | 2 +- spec/design/skel/RISCV64/Arch_Structs_B.thy | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/spec/design/skel/ARM/Arch_Structs_B.thy b/spec/design/skel/ARM/Arch_Structs_B.thy index c1fa38cbcf..17bfcf1cd3 100644 --- a/spec/design/skel/ARM/Arch_Structs_B.thy +++ b/spec/design/skel/ARM/Arch_Structs_B.thy @@ -4,7 +4,7 @@ * SPDX-License-Identifier: GPL-2.0-only *) -(* Architecture-specific data types shared by spec and abstract. *) +(* Architecture-specific data types shared by design and abstract specs. *) chapter "Common, Architecture-Specific Data Types" diff --git a/spec/design/skel/ARM_HYP/Arch_Structs_B.thy b/spec/design/skel/ARM_HYP/Arch_Structs_B.thy index 3d656b6ffa..9e524bdd1d 100644 --- a/spec/design/skel/ARM_HYP/Arch_Structs_B.thy +++ b/spec/design/skel/ARM_HYP/Arch_Structs_B.thy @@ -4,7 +4,7 @@ * SPDX-License-Identifier: GPL-2.0-only *) -(* Architecture-specific data types shared by spec and abstract. *) +(* Architecture-specific data types shared by design and abstract specs. *) chapter "Common, Architecture-Specific Data Types" diff --git a/spec/design/skel/RISCV64/Arch_Structs_B.thy b/spec/design/skel/RISCV64/Arch_Structs_B.thy index e72cb1c672..3257881b5b 100644 --- a/spec/design/skel/RISCV64/Arch_Structs_B.thy +++ b/spec/design/skel/RISCV64/Arch_Structs_B.thy @@ -4,7 +4,7 @@ * SPDX-License-Identifier: GPL-2.0-only *) -(* Architecture-specific data types shared by spec and abstract. *) +(* Architecture-specific data types shared by design and abstract specs. *) chapter "Common, Architecture-Specific Data Types"