License for Floataux.ml

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1542 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
SJTU-PLV · Oct 27, 2010 · 63cc20f · 63cc20f
1 parent cca95c3
commit 63cc20f
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git 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 

diff --git a/lib/Floataux.ml b/lib/Floataux.ml
@@ -6,6 +6,9 @@
 (*                                                                     *)
 (*  Copyright Institut National de Recherche en Informatique et en     *)
 (*  Automatique.  All rights reserved.  This file is distributed       *)
+(*  under the terms of the GNU General Public License as published by  *)
+(*  the Free Software Foundation, either version 2 of the License, or  *)
+(*  (at your option) any later version.  This file is also distributed *)
 (*  under the terms of the INRIA Non-Commercial License Agreement.     *)
 (*                                                                     *)
 (* *********************************************************************)