1 files changed, 1 insertions, 1 deletions
diff --git a/LICENSE b/LICENSE
index 6a4c62c3..54b36ed7 100644
--- a/LICENSE
+++ b/LICENSE
@@ -44,7 +44,7 @@ Foundation GNU Lesser General Public License, either version 2.1 or
 
   all files in the cparser/ directory
 
-  all files in the exportclight/ directory
+  all files in the export/ directory
 
   the Archi.v, Builtins1.v, CBuiltins.ml, and extractionMachdep.v files
   in directories aarch64, arm, powerpc, riscV, x86, x86_32, x86_64