--- rpl/modules/sets/sets.rplc 2017/07/02 22:28:19 1.2 +++ rpl/modules/sets/sets.rplc 2017/07/03 12:23:48 1.5 @@ -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é. @@ -9,7 +9,7 @@ libraryName(sets); declareSubroutine(onLoading) - notice(stdout, "\nSets library V1R1 for RPL/2(C) 2017 BERTRAND Joel\n"); + notice(stdout, "\nSets library V1R1 for RPL/2 (C) 2017 BERTRAND Joel\n"); notice(stdout, "Sets library loaded.\n\n"); endSubroutine @@ -17,6 +17,9 @@ declareSubroutine(onClosing) notice(stdout, "Sets library unloaded.\n\n"); endSubroutine -exportExternalFunctions(union); +exportExternalFunctions( + complement, + intersection, + union); // vim: ts=4