remove silly log

Certora · May 21, 2024 · 44d4397 · 44d4397
1 parent 9fa92c9
commit 44d4397
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/util.rs b/src/util.rs
@@ -101,7 +101,6 @@ pub fn repair_remapping(remap_str: &str, resolve_against: Option<&str>) -> Strin
         parts[0]
     };
     let rhs = parts[1];
-    log::debug!("lhslololol: {lhs} and rhs: {rhs}");
     let resolved_path = PathBuf::from(against_path_str)
         .join(rhs)
         .canonicalize()