From b7d382a95673e7ba0dc9edebaf9bd6f5b50e39e0 Mon Sep 17 00:00:00 2001
From: kennytm <kennytm@gmail.com>
Date: Sat, 16 Dec 2017 03:58:17 +0800
Subject: [PATCH] Remove the [workspace] section.

Miri does not need to maintain a workspace anymore. Also, keeping miri a
workspace conflicts with rustc's own workspace.
---
 Cargo.toml | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/Cargo.toml b/Cargo.toml
index 79fad037385..bbb3958ac35 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -32,6 +32,3 @@ cargo_miri = ["cargo_metadata"]
 
 [dev-dependencies]
 compiletest_rs = { version = "0.3.3", features = ["tmp"] }
-
-[workspace]
-exclude = ["xargo", "cargo-miri-test", "rustc_tests"]