From b0581caeef3278d020aee44c7f5a7736504df401 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Thu, 13 Dec 2018 22:05:46 +0100
Subject: [PATCH] VecDeque got fixed

---
 tests/run-pass/vecdeque.rs | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/tests/run-pass/vecdeque.rs b/tests/run-pass/vecdeque.rs
index d92cff0b084e..381169505ec9 100644
--- a/tests/run-pass/vecdeque.rs
+++ b/tests/run-pass/vecdeque.rs
@@ -1,6 +1,3 @@
-// FIXME: Validation disabled until https://github.com/rust-lang/rust/pull/56161 lands
-// compile-flags: -Zmiri-disable-validation
-
 use std::collections::VecDeque;
 
 fn main() {