Une nouvelle version du portail de gestion des comptes externes sera mise en production lundi 09 août. Elle permettra d'allonger la validité d'un compte externe jusqu'à 3 ans. Pour plus de détails sur cette version consulter : https://doc-si.inria.fr/x/FCeS

Commit f19a02dc authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Fix [KitFa].

parent 7c82402d
......@@ -70,7 +70,7 @@ end
class ['self] reduce = object (_ : 'self)
(* The monoid of sets of atoms is used. *)
inherit [_] Atom.Set.monoid
inherit [_] Atom.Set.union_monoid
method private extend _x () = ()
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment