From a57c7612767f7bd55704639f03c0899d5c3edfbb Mon Sep 17 00:00:00 2001
From: Matthieu Sozeau
Date: Fri, 20 Jun 2014 16:06:06 +0200
Subject: Fixed bug 3332.

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

diff --git a/test-suite/bugs/opened/3332.v b/test-suite/bugs/opened/3332.v
deleted file mode 100644
index 275eaea5d9..0000000000
--- a/test-suite/bugs/opened/3332.v
+++ /dev/null
@@ -1,6 +0,0 @@
-(* -*- mode: coq; coq-prog-args: ("-emacs" "-time") -*- *)
-Definition foo : True.
-Proof.
-Abort. (* Toplevel input, characters 15-21:
-Anomaly: Backtrack.backto to a state with no vcs_backup. Please report. *)
-(* Anomaly: VernacAbort not handled by Stm. Please report. *)
-- 
cgit v1.2.3