From a40f46c078791fbf560a15959561915e328ceff3 Mon Sep 17 00:00:00 2001
From: Steve Klabnik <steve@steveklabnik.com>
Date: Wed, 17 Feb 2016 14:41:02 -0500
Subject: [PATCH] Delete 23513.rs

This was fixed by https://github.com/rust-lang/rust/issues/23513
---
 src/23513.rs | 7 -------
 1 file changed, 7 deletions(-)
 delete mode 100644 src/23513.rs

diff --git a/src/23513.rs b/src/23513.rs
deleted file mode 100644
index 16766b33..00000000
--- a/src/23513.rs
+++ /dev/null
@@ -1,7 +0,0 @@
-enum E { A, }
-
-const C: [u32; 1] = [1];
-
-fn main() {
-    let a = C[E::A as usize];
-}