Skip to content

Commit 506ffc9

Browse files
authored
Missing word at the end of sentence
1 parent 2d827c9 commit 506ffc9

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
@@ -311,7 +311,7 @@ environment variable. We first document the most relevant and most commonly used
311311
* `-Zmiri-env-forward=<var>` forwards the `var` environment variable to the interpreted program. Can
312312
be used multiple times to forward several variables. Execution will still be deterministic if the
313313
value of forwarded variables stays the same. Has no effect if `-Zmiri-disable-isolation` is set.
314-
* `-Zmiri-env-set=<var>=<value>` sets the `var` environment variable to `value` in the interpreted.
314+
* `-Zmiri-env-set=<var>=<value>` sets the `var` environment variable to `value` in the interpreted program.
315315
It can be used to pass environment variables without needing to alter the host environment. It can
316316
be used multiple times to set several variables. If `-Zmiri-disable-isolation` or `-Zmiri-env-forward`
317317
is set, values set with this option will have priority over values from the host environment.

0 commit comments

Comments
 (0)