Update the list of dual-licensed files

xavierleroy · xavierleroy · commit b46c0c01379d · 2020-05-05T14:03:52.000+02:00
Closes: #351
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
 
