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