TODO.

TODO

@@ -175,7 +175,8 @@
 * BUG: message de Valentin Gatien-Baron du 09/01/2010: le bug de --explain
   est-il bien le bug connu? peut-on le corriger? ne suffirait-il pas de
   passer sous silence les conflits qui ont lieu dans une partie inaccessible
-  de l'automate?
+  de l'automate? (Avoid reporting conflicts in unreachable states. See e.g.
+  petr4.mly, perhaps other examples.)
 
 * Implémenter un test de détection de boucles. Si la grammaire contient une
   boucle, elle est infiniment ambiguë. Pour le test, calculer tous les