-
POTTIER Francois authored
function is no longer required. This does not change the generated code, but simplifies things slightly and reduces the generation time (less work for the inliner).
e42b6b1b
Prochaines maintenances programmées: mardi 02/04, lundi 06/05, lundi 03/06
Pour plus d'informations: https://doc-si.inria.fr/display/SU/Gitlab
function is no longer required. This does not change the generated code, but simplifies things slightly and reduces the generation time (less work for the inliner).