Skip to content

Commit a4b950f

Browse files
authored
revert changes introduced in #732 (#773)
Reverts #732. `#![feature(rustc_private)]` is necessary to execute `c2rust-analyze`, as it utilizes `rustc` directly (see comment [here](#772 (comment))). This restores functionality in preparation for #772.
2 parents 349d5a8 + 341327b commit a4b950f

File tree

3 files changed

+3
-0
lines changed

3 files changed

+3
-0
lines changed

analysis/tests/lighttpd-minimal/src/main.rs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,4 @@
1+
#![feature(rustc_private)]
12
#![allow(non_camel_case_types)]
23
#![allow(dead_code)]
34
#![allow(unused_mut)]

analysis/tests/lighttpd/src/main.rs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,4 @@
1+
#![feature(rustc_private)]
12
#![allow(non_upper_case_globals)]
23
#![allow(non_camel_case_types)]
34
#![allow(dead_code)]

analysis/tests/misc/src/main.rs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,4 @@
1+
#![feature(rustc_private)]
12
#![feature(c_variadic)]
23

34
#[path = "pointers.rs"]

0 commit comments

Comments
 (0)