--- rpl/LIMITATIONS	2012/12/20 15:32:52	1.98
+++ rpl/LIMITATIONS	2013/02/22 19:48:22	1.100
@@ -1,7 +1,8 @@
 RESTRICTIONS
 	Only formatted and flow files are supported.
 
-SQLITE_BUSY et SQLITE_LOCKED sur toutes les fonctions utilisant sqlite.
+Mettre un sémaphore pour sem_wait_SysV() (post dans le gestionnaire de signaux,
+transformer le semop en non bloquant).
 
 Utiliser Frama-c + why + alt-argo pour rechercher les erreurs.