Skip to content

Commit

Permalink
fix: rustc_private
Browse files Browse the repository at this point in the history
#1036 added an unconditional feature(rustc_private) on crate `hax-types`, but we need that to be non-nightly (this is consumed by other crates)!
  • Loading branch information
W95Psp authored Oct 24, 2024
1 parent f5b42f8 commit d663429
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion hax-types/src/lib.rs
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
#![feature(rustc_private)]
#![cfg_attr(feature = "rustc", feature(rustc_private))]
//! This crate contains the type definitions that are used to communicate between:
//! - the command line (the `cargo-hax` binary);
//! - the custom rustc driver;
Expand Down

0 comments on commit d663429

Please sign in to comment.