From ec50702d19587d450ffc36afc03a4d48ba0880e3 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Mon, 16 Feb 2015 09:44:51 +0100
Subject: Fixing test for bug #3944.

---
 test-suite/bugs/closed/3944.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/test-suite/bugs/closed/3944.v b/test-suite/bugs/closed/3944.v
index 4cc511ac71..58e60f4f2e 100644
--- a/test-suite/bugs/closed/3944.v
+++ b/test-suite/bugs/closed/3944.v
@@ -2,4 +2,4 @@ Require Import Setoid.
 Definition C (T : Type) := T.
 Goal forall T (i : C T) (v : T), True.
 Proof.
-setoid_rewrite plus_n_Sm.
+Fail setoid_rewrite plus_n_Sm.
-- 
cgit v1.2.3