diff --git a/hercules_opt/src/loop_bound_canon.rs b/hercules_opt/src/loop_bound_canon.rs
index 126f33cf1788d5624b498afdb11c0549dc1a0ab0..f1ce872c9f8b31e8e1c1f3ba72a0df21d5858b26 100644
--- a/hercules_opt/src/loop_bound_canon.rs
+++ b/hercules_opt/src/loop_bound_canon.rs
@@ -73,8 +73,6 @@ pub fn canonicalize_single_loop_bounds(
         .into_iter()
         .partition(|f| loop_bound_iv_phis.contains(&f.phi()));
 
-    println!("{:?}", loop_bound_ivs);
-
 
     // Assume there is only one loop bound iv.
     if loop_bound_ivs.len() != 1 {
@@ -248,9 +246,6 @@ pub fn canonicalize_single_loop_bounds(
     } else {
         None
     };
-    println!("condition node: {:?}", condition_node);
-    let users = editor.get_users(condition_node).collect_vec(); 
-    println!("{:?}", users);
 
     let mut condition_node = condition_node;