License for Floataux.ml

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1542 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e

1 files changed, 1 insertions, 1 deletions

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