From 2bbe6a88b840a4857f683fd6ee8cfc37ad7770c7 Mon Sep 17 00:00:00 2001
From: Arnaud Spiwack
Date: Fri, 6 Dec 2013 11:11:01 +0100
Subject: Remove duplicate test-suite file.

success/instantiate.v was a duplicate of bugs/closed/1041.v
---
 test-suite/success/instantiate.v | 11 -----------
 1 file changed, 11 deletions(-)
 delete mode 100644 test-suite/success/instantiate.v

diff --git a/test-suite/success/instantiate.v b/test-suite/success/instantiate.v
deleted file mode 100644
index 6f1030a438..0000000000
--- a/test-suite/success/instantiate.v
+++ /dev/null
@@ -1,11 +0,0 @@
-(* Test régression bug #1041 *)
-
-Goal Prop.
-
-pose (P:= fun x y :Prop => y).
-evar (Q: forall X Y,P X Y -> Prop) .
-
-instantiate (1:= fun _ => _ ) in (Value of Q).
-instantiate (1:= fun _ => _ ) in (Value of Q).
-instantiate (1:= fun _ => _ ) in (Value of Q).
-instantiate (1:= H) in (Value of Q).
-- 
cgit v1.2.3