From ec9f3353535165eb51e5cb4f0b9273a00c713b54 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Thu, 20 May 2004 10:02:23 +0000
Subject: Protection du destruct pour vérifier que ce n'est pas une anomalie, à
 défaut de faire réussir la tactique

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

diff --git a/test-suite/success/destruct.v b/test-suite/success/destruct.v
index ca6b437d77..df49928a97 100644
--- a/test-suite/success/destruct.v
+++ b/test-suite/success/destruct.v
@@ -4,4 +4,4 @@ Parameter f:true=false.
 Goal let p=f in True.
 Intro p.
 LetTac b:=true.
-NewDestruct b.
+Try NewDestruct b.
-- 
cgit v1.2.3