Get rid of "shouldfail" subdirectory by moving tests to parent directory.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16796 85f007b7-540e-0410-9357-904b9bb8a0f7

8 files changed, 0 insertions, 0 deletions

diff --git a/test-suite/bugs/closed/shouldfail/1703.v b/test-suite/bugs/closed/1703.v
index 114e3185b8..114e3185b8 100644
--- a/test-suite/bugs/closed/shouldfail/1703.v
+++ b/test-suite/bugs/closed/1703.v
diff --git a/test-suite/bugs/closed/shouldfail/1898.v b/test-suite/bugs/closed/1898.v
index 70461286ce..70461286ce 100644
--- a/test-suite/bugs/closed/shouldfail/1898.v
+++ b/test-suite/bugs/closed/1898.v
diff --git a/test-suite/bugs/closed/shouldfail/1915.v b/test-suite/bugs/closed/1915.v
index 7e62437d7b..7e62437d7b 100644
--- a/test-suite/bugs/closed/shouldfail/1915.v
+++ b/test-suite/bugs/closed/1915.v
diff --git a/test-suite/bugs/closed/shouldfail/2006.v b/test-suite/bugs/closed/2006.v
index d353d0e2d6..d353d0e2d6 100644
--- a/test-suite/bugs/closed/shouldfail/2006.v
+++ b/test-suite/bugs/closed/2006.v
diff --git a/test-suite/bugs/closed/shouldfail/2251.v b/test-suite/bugs/closed/2251.v
index d0fa3f2b33..d0fa3f2b33 100644
--- a/test-suite/bugs/closed/shouldfail/2251.v
+++ b/test-suite/bugs/closed/2251.v
diff --git a/test-suite/bugs/closed/shouldfail/2406.v b/test-suite/bugs/closed/2406.v
index d46fbabbbc..d46fbabbbc 100644
--- a/test-suite/bugs/closed/shouldfail/2406.v
+++ b/test-suite/bugs/closed/2406.v
diff --git a/test-suite/bugs/closed/shouldfail/2586.v b/test-suite/bugs/closed/2586.v
index 7e02e7f110..7e02e7f110 100644
--- a/test-suite/bugs/closed/shouldfail/2586.v
+++ b/test-suite/bugs/closed/2586.v
diff --git a/test-suite/bugs/closed/shouldfail/2846.v b/test-suite/bugs/closed/2846.v
index 8d6d348a2e..8d6d348a2e 100644
--- a/test-suite/bugs/closed/shouldfail/2846.v
+++ b/test-suite/bugs/closed/2846.v