From d000fe3f6df676596b5371f9760cdf0b2922ea11 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Tue, 14 Feb 2017 16:12:55 +0100
Subject: Removed CMinor import. Bug 20992

---
 LICENSE | 5 -----
 1 file changed, 5 deletions(-)

(limited to 'LICENSE')

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
-- 
cgit