(isla-lib/memory) fix: remove old debug print region

rems-project · Apr 29, 2024 · d0e350b · d0e350b
1 parent fd750c0
commit d0e350b
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/isla-lib/src/memory.rs b/isla-lib/src/memory.rs
@@ -387,7 +387,6 @@ impl<B: BV> Memory<B> {
 
         for region in &self.regions {
             if !matches!(region, Region::Symbolic(_) | Region::SymbolicCode(_)) {
-                eprintln!("{:?}", region);
                 let Range { start, end } = region.region_range();
 
                 region_constraints.push(And(