Skip to content

Commit 291f8de

Browse files
landaireRalfJung
andauthored
Update README.md
Co-authored-by: Ralf Jung <[email protected]>
1 parent 2089e6c commit 291f8de

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

README.md

+1-1
Original file line numberDiff line numberDiff line change
@@ -232,7 +232,7 @@ environment variable:
232232
such as FFI and unsupported syscalls, panic within the context of the emulated
233233
application instead of raising an error within the context of Miri (and halting
234234
execution). Note that code might not expect these operations to ever panic, so
235-
this flag can lead to strange(mis)behavior.
235+
this flag can lead to strange (mis)behavior.
236236
* `-Zmiri-seed=<hex>` configures the seed of the RNG that Miri uses to resolve
237237
non-determinism. This RNG is used to pick base addresses for allocations.
238238
When isolation is enabled (the default), this is also used to emulate system

0 commit comments

Comments
 (0)