fix comment

carolynzech · Nov 19, 2024 · 74962f3 · 74962f3
1 parent 0ffbd4c
commit 74962f3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/kani-driver/src/list/output.rs b/kani-driver/src/list/output.rs
@@ -56,7 +56,7 @@ fn construct_contracts_table(
     Ok(table)
 }
 
-// /// Output results as a table printed to the terminal.
+/// Output results as a table printed to the terminal.
 pub fn markdown(
     standard_harnesses: BTreeMap<String, BTreeSet<String>>,
     contracted_functions: BTreeSet<ContractedFunction>,