Turn off printing

verus-lang · Dec 18, 2023 · ee990c5 · ee990c5
1 parent 8e82bd2
commit ee990c5
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/lib.rs b/src/lib.rs
@@ -1069,7 +1069,6 @@ fn find_inline_comment_lines(s: &str) -> HashSet<usize> {
             comment_lines.insert(line_num + 1);
         }
     }
-    println!("comment_lines = {:?}", comment_lines);
     return comment_lines;
 }