Use full path to c_char in README

LevitatingLion · RalfJung · web-flow · commit e81ebb947c94 · 2023-02-24T14:27:46.000+01:00
Co-authored-by: Ralf Jung &lt;post@ralfj.de&gt;
diff --git 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;
 }
 ```
 

Original file line number	Diff line number	Diff line change
`@@ -592,7 +592,7 @@ extern "Rust" {`
`592`	`592`	/// `out` must point to at least `out_size` many bytes, and the result will be stored there
`593`	`593`	`/// with a null terminator.`
`594`	`594`	/// Returns 0 if the `out` buffer was large enough, and the required size otherwise.
`595`		`- fn miri_host_to_target_path(path: const c_char, out: mut c_char, out_size: usize) -> usize;`
	`595`	`+ fn miri_host_to_target_path(path: const std::ffi::c_char, out: mut std::ffi::c_char, out_size: usize) -> usize;`
`596`	`596`	`}`
`597`	`597`	```
`598`	`598`