From c801b004bcb71f4f1db5d4cf260ef5a01fc8dde0 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Tue, 24 Mar 2015 22:52:10 +0100
Subject: Updating test-suite (see previous commit).

---
 test-suite/bugs/opened/3491.v | 2 --
 1 file changed, 2 deletions(-)
 delete mode 100644 test-suite/bugs/opened/3491.v

diff --git a/test-suite/bugs/opened/3491.v b/test-suite/bugs/opened/3491.v
deleted file mode 100644
index 9837b0ecb2..0000000000
--- a/test-suite/bugs/opened/3491.v
+++ /dev/null
@@ -1,2 +0,0 @@
-Fail Inductive list (A : Type) (T := A) : Type :=
-    nil : list A | cons : T -> list T -> list A.
-- 
cgit v1.2.3