Skip to content

Commit 67ad304

Browse files
committed
update unsupported example in README (now that threading is supported on some platforms)
1 parent acb3ec0 commit 67ad304

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

README.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -112,7 +112,7 @@ There is no way to list all the infinite things Miri cannot do, but the
112112
interpreter will explicitly tell you when it finds something unsupported:
113113

114114
```
115-
error: unsupported operation: Miri does not support threading
115+
error: unsupported operation: can't call foreign function: bind
116116
...
117117
= help: this is likely not a bug in the program; it indicates that the program \
118118
performed an operation that the interpreter does not support

0 commit comments

Comments
 (0)