Don't mark `DEBUG_EVENT` struct as `repr(packed)` · model-checking/verify-rust-std@e419147
Navigation Menu
{{ message }}
model-checking / verify-rust-std Public
forked from rust-lang/rust
- Notifications You must be signed in to change notification settings
- Fork 64
Commit e419147
1 file changed
+
1
-
1
lines changed
Lines changed: 1 addition & 1 deletion
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
386 | 386 | | |
387 | 387 | | |
388 | 388 | | |
389 | | - | |
| 389 | + | |
390 | 390 | | |
391 | 391 | | |
392 | 392 | | |
0 commit comments
Comments
(0)