--- rpl/modules/sets/sets.rplc 2017/07/02 22:28:19 1.2 +++ rpl/modules/sets/sets.rplc 2017/07/03 11:47:04 1.3 @@ -1,4 +1,4 @@ -// Attention, la défintion de __RPLC_MAIN n'est obligatoire que parce qu'on +// Attention, la définition de __RPLC_MAIN n'est obligatoire que parce qu'on // ne compile pas les bibliothèques avec mkrplso puisque à ce moment, // l'environnement RPL/2 n'est pas encore installé. @@ -17,6 +17,6 @@ declareSubroutine(onClosing) notice(stdout, "Sets library unloaded.\n\n"); endSubroutine -exportExternalFunctions(union); +exportExternalFunctions(intersection, union); // vim: ts=4