rfc nit

model-checking · Oct 7, 2024 · c2474e3 · c2474e3
1 parent 1cc50a0
commit c2474e3
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/rfc/src/rfcs/0013-list.md b/rfc/src/rfcs/0013-list.md
@@ -30,7 +30,6 @@ This subcommand does not fail. In the case that it does not find any harnesses o
 
 The default format, `pretty`, prints a "Contracts" table and a "Standard Harnesses" list.
 Each row of the "Contracts" table consists of a function under contract and its contract harnesses.
-A function is listed if it has contracts or it is the target of contract harness(es).
 The results are printed in lexicographic order.
 
 For example: