Fix the license announced in the banner

EasyCrypt · Apr 27, 2022 · 577c882 · 577c882
1 parent 8f314e4
commit 577c882
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/ecVersion.ml b/src/ecVersion.ml
@@ -10,8 +10,8 @@ let url  = "https://www.easycrypt.info/"
 let app  = "easycrypt"
 
 module License = struct
-  let engine = "Distributed under the terms of the CeCILL-C license"
-  let stdlib = "Distributed under the terms of the CeCILL-B license"
+  let engine = "Distributed under the terms of the MIT license"
+  let stdlib = "Distributed under the terms of the MIT license"
 end
 
 let hash =