Correction de la licence

diff --git a/dune-project b/dune-project
index c612ef94516de26d1cafd9bc1e1d9fa849ac5a5d..dd1b1b72ba9cab95a63194d1ade4a8ebaf07a476 100644 (file)
--- a/dune-project
+++ b/dune-project
@@ -10,7 +10,7 @@
 
 (maintainers "Amélia Coutard-Sander")
 
 
 (maintainers "Amélia Coutard-Sander")
 

-(license GPLv3+)
+(license AGPLv3+)

 
 (documentation N/A)
 
 
 (documentation N/A)