From 580c1194d96d08bc2efaba4fbd86e916b849a194 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Thu, 30 Apr 2020 19:39:56 +0200 Subject: [PATCH] README tweak --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index a64161809e64..ee23df5ed17e 100644 --- a/README.md +++ b/README.md @@ -48,8 +48,8 @@ in your program, and cannot run all programs: has no access to most platform-specific APIs or FFI. A few APIs have been implemented (such as printing to stdout) but most have not: for example, Miri currently does not support SIMD or networking. -* Miri currently does not check for data-races and most other concurrency - related issues. +* Miri currently does not check for data-races and most other concurrency-related + issues. [rust]: https://www.rust-lang.org/ [mir]: https://github.com/rust-lang/rfcs/blob/master/text/1211-mir.md