Skip to content

Commit

Permalink
remove contracts count mention from RFC
Browse files Browse the repository at this point in the history
  • Loading branch information
carolynzech authored Oct 7, 2024
1 parent 2ad1360 commit 1cc50a0
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion rfc/src/rfcs/0013-list.md
Original file line number Diff line number Diff line change
Expand Up @@ -29,7 +29,7 @@ This subcommand does not fail. In the case that it does not find any harnesses o
### Pretty Format

The default format, `pretty`, prints a "Contracts" table and a "Standard Harnesses" list.
Each row of the "Contracts" table consists of a function, the number of contracts it has, and its contract harnesses.
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.

Expand Down

0 comments on commit 1cc50a0

Please sign in to comment.