delete #![allow(unsafe_op_in_unsafe_fn)] · model-checking/verify-rust-std@e0c57e4 (original) (raw)
Navigation Menu
- GitHub Copilot Write better code with AI
- GitHub Models New Manage and compare prompts
- GitHub Advanced Security Find and fix vulnerabilities
- Actions Automate any workflow
- Codespaces Instant dev environments
- Issues Plan and track work
- Code Review Manage code changes
- Discussions Collaborate outside of code
- Code Search Find more, search less
- Explore
- Pricing
Provide feedback
Saved searches
Use saved searches to filter your results more quickly
Appearance settings
Commit e0c57e4
delete #![allow(unsafe_op_in_unsafe_fn)]
this is redundant, so we can just delete it.
File tree
1 file changed
lines changed
1 file changed
lines changed
Lines changed: 0 additions & 1 deletion
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -2,7 +2,6 @@ | ||
| 2 | 2 | //! |
| 3 | 3 | //! This module contains the facade (aka platform-specific) implementations of |
| 4 | 4 | //! OS level functionality for Teeos. |
| 5 | -#![allow(unsafe_op_in_unsafe_fn)] | |
| 6 | 5 | #![allow(unused_variables)] |
| 7 | 6 | #![allow(dead_code)] |
| 8 | 7 |