Correction de la licence

diff --git a/dune-project b/dune-project
index 68b953cee678142257bf46d98ff219580bf8f446..de4d79d65a5e9c03645fad9e42d2f9778664ca7c 100644 (file)
--- a/dune-project
+++ b/dune-project
@@ -10,7 +10,7 @@
 
 (maintainers "Amélia Coutard-Sander")
 
-(license GPLv3+)
+(license AGPLv3+)
 
 (documentation N/A)