From 536fc9c7ed00a3d8db50c52934eaeeea619c3b13 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Tue, 14 Oct 2003 11:18:46 +0000
Subject: Test obsolete

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4634 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 test-suite/success/Remark.v | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/test-suite/success/Remark.v b/test-suite/success/Remark.v
index 2c3bc8b52a..2dd6a2113e 100644
--- a/test-suite/success/Remark.v
+++ b/test-suite/success/Remark.v
@@ -1,3 +1,4 @@
+(* Test obsolete, Remark est maintenant global
 Section A.
 Section B.
 Section C.
@@ -8,3 +9,4 @@ End B.
 Locate B.C.t.
 End A.
 Locate A.B.C.t.
+*)
-- 
cgit v1.2.3