Update the list of dual-licensed files

Closes: AbsInt#351
MSoegtropIMC · Jun 7, 2020 · 16878a6 · 16878a6
1 parent cea50ef
commit 16878a6
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/LICENSE b/LICENSE
@@ -46,8 +46,8 @@ option) any later version:
 
   all files in the exportclight/ directory
 
-  the Archi.v, CBuiltins.ml, and extractionMachdep.v files
-  in directories arm, powerpc, riscV, x86, x86_32, x86_64
+  the Archi.v, Builtins1.v, CBuiltins.ml, and extractionMachdep.v files
+  in directories aarch64, arm, powerpc, riscV, x86, x86_32, x86_64
 
   extraction/extraction.v