From 961672aa25747fb277fa60eae99ca8d82b0e0fc6 Mon Sep 17 00:00:00 2001
From: herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Thu, 13 Nov 2003 15:52:27 +0000
Subject: Fermeture de la section maintenant necessaire

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

diff --git a/test-suite/success/implicit.v b/test-suite/success/implicit.v
index bd7474285..f767e80a9 100644
--- a/test-suite/success/implicit.v
+++ b/test-suite/success/implicit.v
@@ -16,3 +16,4 @@ Record stack : Type := {type : Set; elt : type;
 
 Check (type:Set; elt:type; empty:(type->bool))(empty elt)=true->stack.
 
+End Spec.
-- 
cgit v1.2.3