fix(os/hermit): deny(unsafe_op_in_unsafe_fn) · model-checking/verify-rust-std@589c0a0 (original) (raw)

Skip to content

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Sign up

Commit 589c0a0

fix(os/hermit): deny(unsafe_op_in_unsafe_fn)

Signed-off-by: Martin Kröning martin.kroening@eonerc.rwth-aachen.de

File tree

1 file changed

lines changed

1 file changed

lines changed

Original file line number Diff line number Diff line change
@@ -1,4 +1,5 @@
1 1 #![stable(feature = "rust1", since = "1.0.0")]
2 +#![deny(unsafe_op_in_unsafe_fn)]
2 3
3 4 #[allow(unused_extern_crates)]
4 5 #[stable(feature = "rust1", since = "1.0.0")]