Allow dead code

zhassan-aws · Oct 1, 2024 · fdfb51f · fdfb51f
1 parent 8de24f5
commit fdfb51f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/kani-driver/src/args/mod.rs b/kani-driver/src/args/mod.rs
@@ -40,6 +40,7 @@ where
         .unwrap()
 }
 
+#[allow(dead_code)]
 pub fn print_obsolete(verbosity: &CommonArgs, option: &str) {
     if !verbosity.quiet {
         warning(&format!(