diff options
| author | LevitatingLion <levitatinglion@web.de> | 2023-02-24 14:27:46 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-02-24 14:27:46 +0100 |
| commit | e81ebb947c94d1147d4ea398b98e125b9eba2567 (patch) | |
| tree | 6d71798f4f58b2e7d3f3650426057ffc86437c87 | |
| parent | 04b2aab141a51de0497a1a6751427e5a0ad86822 (diff) | |
Use full path to `c_char` in README
Co-authored-by: Ralf Jung <post@ralfj.de>
| -rw-r--r-- | src/tools/miri/README.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/miri/README.md b/src/tools/miri/README.md index c60d6593bdc..1086d0481c8 100644 --- a/src/tools/miri/README.md +++ b/src/tools/miri/README.md @@ -592,7 +592,7 @@ extern "Rust" { /// `out` must point to at least `out_size` many bytes, and the result will be stored there /// with a null terminator. /// Returns 0 if the `out` buffer was large enough, and the required size otherwise. - fn miri_host_to_target_path(path: *const c_char, out: *mut c_char, out_size: usize) -> usize; + fn miri_host_to_target_path(path: *const std::ffi::c_char, out: *mut std::ffi::c_char, out_size: usize) -> usize; } ``` |