From 7872cda8545ba82827d34e6940b83f5809990f9d Mon Sep 17 00:00:00 2001
From: herbelin
Date: Fri, 15 Dec 2000 11:31:03 +0000
Subject: MAJ

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1124 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 PROBLEMES | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'PROBLEMES')

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 
-- 
cgit v1.2.3