Build fixed

toolCHAINZ · Oct 15, 2024 · a9248f6 · a9248f6
1 parent 34c4393
commit a9248f6
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/jingle/src/translator.rs b/jingle/src/translator.rs
@@ -13,7 +13,7 @@ use z3::Context;
 #[derive(Debug, Clone)]
 pub struct SleighTranslator<'ctx> {
     z3_ctx: &'ctx Context,
-    sleigh: &'ctx LoadedSleighContext,
+    sleigh: &'ctx LoadedSleighContext<'ctx>,
 }
 
 impl<'ctx> SleighTranslator<'ctx> {

diff --git a/jingle_sleigh/src/context/loaded.rs b/jingle_sleigh/src/context/loaded.rs
@@ -1,5 +1,5 @@
 use crate::context::instruction_iterator::SleighContextInstructionIterator;
-use crate::context::{Image, SleighContext};
+use crate::context::{SleighContext};
 use crate::JingleSleighError::ImageLoadError;
 use crate::{Instruction, JingleSleighError, RegisterManager, SpaceInfo, SpaceManager, VarNode};
 use std::fmt::{Debug, Formatter};

diff --git a/jingle_sleigh/src/context/mod.rs b/jingle_sleigh/src/context/mod.rs
@@ -8,8 +8,8 @@ use crate::error::JingleSleighError::{LanguageSpecRead, SleighInitError};
 use crate::ffi::addrspace::bridge::AddrSpaceHandle;
 use crate::ffi::context_ffi::bridge::ContextFFI;
 use crate::space::{RegisterManager, SpaceInfo, SpaceManager};
-#[cfg(feature = "gimli")]
-pub use builder::image::gimli::map_gimli_architecture;
+//#[cfg(feature = "gimli")]
+//pub use builder::image::gimli::map_gimli_architecture;
 pub use builder::SleighContextBuilder;
 
 use crate::context::builder::language_def::LanguageDefinition;