From: Ralf Jung Date: Sat, 30 May 2020 20:50:49 +0000 (+0200) Subject: update unsupported example in README (now that threading is supported on some platforms) X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=67ad3041409ba87187c7c72e6f19ae79e1a7715f;p=rust.git update unsupported example in README (now that threading is supported on some platforms) --- diff --git a/README.md b/README.md index 12fc6d22cf8..b2738bb062a 100644 --- a/README.md +++ b/README.md @@ -112,7 +112,7 @@ There is no way to list all the infinite things Miri cannot do, but the interpreter will explicitly tell you when it finds something unsupported: ``` -error: unsupported operation: Miri does not support threading +error: unsupported operation: can't call foreign function: bind ... = help: this is likely not a bug in the program; it indicates that the program \ performed an operation that the interpreter does not support