From c2474e38073eb93433e8a896146b823e026f0c11 Mon Sep 17 00:00:00 2001 From: Carolyn Zech Date: Mon, 7 Oct 2024 18:36:06 -0400 Subject: [PATCH] rfc nit --- rfc/src/rfcs/0013-list.md | 1 - 1 file changed, 1 deletion(-) diff --git a/rfc/src/rfcs/0013-list.md b/rfc/src/rfcs/0013-list.md index 771e7e3d7114..0d2baee2b594 100644 --- 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: