From a7ed77403cd15ba1cc2c05f2b6193b46f0028eda Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Mon, 12 Jan 2015 14:32:23 +0100
Subject: Fix files in test-suite having to do with Require inside modules.

---
 test-suite/bugs/closed/335.v | 5 -----
 1 file changed, 5 deletions(-)
 delete mode 100644 test-suite/bugs/closed/335.v

(limited to 'test-suite/bugs')

diff --git a/test-suite/bugs/closed/335.v b/test-suite/bugs/closed/335.v
deleted file mode 100644
index 166fa7a9f2..0000000000
--- a/test-suite/bugs/closed/335.v
+++ /dev/null
@@ -1,5 +0,0 @@
-(* Compatibility of Require with backtracking at interactive module end *)
-
-Module A.
-Require List.
-End A.
-- 
cgit v1.2.3