diff --git a/cli/driver/src/exporter.rs b/cli/driver/src/exporter.rs index fa53b548a..8b3d54a7e 100644 --- a/cli/driver/src/exporter.rs +++ b/cli/driver/src/exporter.rs @@ -252,14 +252,9 @@ impl Callbacks for ExtractionCallbacks { let cg_metadata = opts.cg.metadata[0].clone(); let crate_name = opts.crate_name.clone().unwrap(); - let crate_type = match &opts.crate_types[..] { - [crate_type] => format!("{}", crate_type), - _ => panic!(), - }; let output_dir = compiler.sess.io.output_dir.clone().unwrap(); - let haxmeta_path = - output_dir.join(format!("{crate_type}{crate_name}-{cg_metadata}.haxmeta",)); + let haxmeta_path = output_dir.join(format!("{crate_name}-{cg_metadata}.haxmeta",)); let mut file = BufWriter::new(File::create(&haxmeta_path).unwrap()); @@ -271,7 +266,6 @@ impl Callbacks for ExtractionCallbacks { convert_thir(&self.clone().into(), self.macro_calls.clone(), tcx); let haxmeta: HaxMeta = HaxMeta { crate_name, - crate_type, cg_metadata, externs, impl_infos, diff --git a/hax-types/src/driver_api.rs b/hax-types/src/driver_api.rs index 9782ce3c5..13fa11412 100644 --- a/hax-types/src/driver_api.rs +++ b/hax-types/src/driver_api.rs @@ -19,7 +19,6 @@ pub enum HaxDriverMessage { #[derive(Debug, Clone)] pub struct HaxMeta { pub crate_name: String, - pub crate_type: String, pub cg_metadata: String, pub externs: Vec, pub items: Vec>,