From 63cc20f9ddb18bebae523c46438abdf2a4b140d4 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Wed, 27 Oct 2010 09:00:58 +0000
Subject: License for Floataux.ml

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1542 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 LICENSE | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'LICENSE')

diff --git a/LICENSE b/LICENSE
index f9bae5b5..782f2962 100644
--- a/LICENSE
+++ b/LICENSE
@@ -26,7 +26,7 @@ option) any later version:
     cfrontend/Csem.v          lib/Maps.v           
     cfrontend/Csyntax.v       lib/Parmov.v         
     common/AST.v              lib/Camlcoq.ml
-    common/Errors.v           
+    common/Errors.v           lib/Floataux.ml
     common/Events.v           
     all files in the runtime/ directory
     all files in the cparser/ directory 
-- 
cgit