From 295f894b18fedd1ff5748ef122166840a8b83e3c Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Thu, 1 Aug 2019 21:06:25 +0200
Subject: [PATCH] remove test-miri from config.toml.example

---
 config.toml.example | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/config.toml.example b/config.toml.example
index 6816eaeaa94..cb9f388a8e4 100644
--- a/config.toml.example
+++ b/config.toml.example
@@ -368,10 +368,6 @@
 # When creating source tarballs whether or not to create a source tarball.
 #dist-src = false
 
-# Whether to also run the Miri tests suite when running tests.
-# As a side-effect also generates MIR for all libraries.
-#test-miri = false
-
 # After building or testing extended tools (e.g. clippy and rustfmt), append the
 # result (broken, compiling, testing) into this JSON file.
 #save-toolstates = "/path/to/toolstates.json"