From db2445b3b745abd1a26f5a832a29ca269c725277 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Thu, 30 Jun 2016 10:04:32 +0200
Subject: common/Determinism.v: dual-license with GPL

There was no good reason why Determinism.v was the only file in common/ that was not dual-licensed (GPL + noncommercial).  Plus, it simplifies the wording of the LICENSE file.
---
 LICENSE | 15 +--------------
 1 file changed, 1 insertion(+), 14 deletions(-)

(limited to 'LICENSE')

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