1 files changed, 1 insertions, 1 deletions
diff --git a/PROBLEMES b/PROBLEMES
index ebd6c6b0df..bf3bfb06a7 100644
--- a/PROBLEMES
+++ b/PROBLEMES
@@ -1,7 +1,7 @@
 AddPath "/toto".
 Anomaly: Uncaught exception Unix.Unix_error(20, "stat", "/toto").
 Please report.
-
+--> CORRIGE
 
 Declaration de Local a l'interieur d'un but ...
 Certains Clear deviennent impossible car la variable apparait dans