--- rpl/modules/sets/sets.rplc	2017/06/29 12:32:57	1.1
+++ 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,4 +17,6 @@ declareSubroutine(onClosing)
 	notice(stdout, "Sets library unloaded.\n\n");
 endSubroutine
 
-exportExternalFunctions(union);
+exportExternalFunctions(intersection, union);
+
+// vim: ts=4