diff --git a/tools/asmrefine/ARM/ArchSetup.thy b/tools/asmrefine/ARM/ArchSetup.thy
index c615c6056..c4b4dd820 100644
--- a/tools/asmrefine/ARM/ArchSetup.thy
+++ b/tools/asmrefine/ARM/ArchSetup.thy
@@ -1,7 +1,7 @@
 (*
  * Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
  *
- * SPDX-License-Identifier: GPL-2.0-only
+ * SPDX-License-Identifier: BSD-2-Clause
  *)
 
 theory ArchSetup
diff --git a/tools/asmrefine/ARM_HYP/ArchSetup.thy b/tools/asmrefine/ARM_HYP/ArchSetup.thy
index c615c6056..c4b4dd820 100644
--- a/tools/asmrefine/ARM_HYP/ArchSetup.thy
+++ b/tools/asmrefine/ARM_HYP/ArchSetup.thy
@@ -1,7 +1,7 @@
 (*
  * Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
  *
- * SPDX-License-Identifier: GPL-2.0-only
+ * SPDX-License-Identifier: BSD-2-Clause
  *)
 
 theory ArchSetup
diff --git a/tools/asmrefine/RISCV64/ArchSetup.thy b/tools/asmrefine/RISCV64/ArchSetup.thy
index bb9c2b8db..e2de86c9c 100644
--- a/tools/asmrefine/RISCV64/ArchSetup.thy
+++ b/tools/asmrefine/RISCV64/ArchSetup.thy
@@ -1,7 +1,7 @@
 (*
  * Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
  *
- * SPDX-License-Identifier: GPL-2.0-only
+ * SPDX-License-Identifier: BSD-2-Clause
  *)
 
 theory ArchSetup
diff --git a/tools/asmrefine/X64/ArchSetup.thy b/tools/asmrefine/X64/ArchSetup.thy
index bb9c2b8db..e2de86c9c 100644
--- a/tools/asmrefine/X64/ArchSetup.thy
+++ b/tools/asmrefine/X64/ArchSetup.thy
@@ -1,7 +1,7 @@
 (*
  * Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
  *
- * SPDX-License-Identifier: GPL-2.0-only
+ * SPDX-License-Identifier: BSD-2-Clause
  *)
 
 theory ArchSetup