From 61c0df793060e60e5bd106dec82fd0951decd63b Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Tue, 18 Dec 2018 21:49:21 +0100
Subject: [PATCH] remove outdated README comment

---
 README.md | 2 --
 1 file changed, 2 deletions(-)

diff --git a/README.md b/README.md
index b6e1c20076de..02e13ad56a7e 100644
--- a/README.md
+++ b/README.md
@@ -45,8 +45,6 @@ Now you can run your project in miri:
    dependencies to be compiled the right way, that would not happen if they have
    previously already been compiled.
 2. To run all tests in your project through Miri, use `cargo +nightly miri test`.
-   **NOTE**: This is currently broken, see the discussion in
-   [#479](https://github.com/solson/miri/issues/479).
 3. If you have a binary project, you can run it through Miri using `cargo
    +nightly miri run`.