From 319f1dfc8c316c79d068e18c58711a66b66db4ef Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Tue, 30 Jun 2015 16:11:07 +0200
Subject: Missing "Fail" in test-suite.

---
 test-suite/success/decl_mode2.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/test-suite/success/decl_mode2.v b/test-suite/success/decl_mode2.v
index 4475b5d479..edee439f00 100644
--- a/test-suite/success/decl_mode2.v
+++ b/test-suite/success/decl_mode2.v
@@ -81,7 +81,7 @@ Abort.
 Theorem T: forall (A B C:Prop), A -> B -> C -> A /\ B.
 intros A B C HA HB HC.
 proof.
-hence C. (* fails *)
+Fail hence C. (* fails *)
 Abort.
 
 Theorem T: forall (A B:Prop), B -> A \/ B.
-- 
cgit v1.2.3