1 files changed, 0 insertions, 5 deletions
diff --git a/LICENSE b/LICENSE
index 0151a7fa..2353de49 100644
--- a/LICENSE
+++ b/LICENSE
@@ -36,11 +36,6 @@ option) any later version:
   cfrontend/Ctyping.v
   
   backend/Cminor.v
-  backend/CMlexer.mli
-  backend/CMlexer.mll
-  backend/CMparser.mly
-  backend/CMtypecheck.ml
-  backend/CMtypecheck.mli
 
   arm/Archi.v
   ia32/Archi.v