1 files changed, 1 insertions, 14 deletions
diff --git a/LICENSE b/LICENSE
index 75718e5b..0151a7fa 100644
--- a/LICENSE
+++ b/LICENSE
@@ -24,20 +24,7 @@ option) any later version:
 
   all files in the lib/ directory
 
-  common/AST.v
-  common/Behaviors.v
-  common/Errors.v
-  common/Events.v
-  common/Globalenvs.v
-  common/Linking.v
-  common/Memdata.v
-  common/Memory.v
-  common/Memtype.v
-  common/Smallstep.v
-  common/Subtyping.v
-  common/Switch.v
-  common/Unityping.v
-  common/Values.v
+  all files in the common/ directory
 
   cfrontend/Clight.v
   cfrontend/ClightBigstep.v