From 7cb2e6a954042531926a0a5f8d47e60c720c4c6d Mon Sep 17 00:00:00 2001 From: Jack Grigg Date: Tue, 18 May 2021 19:54:28 +0100 Subject: [PATCH] book: Fix CI failure --- book/src/user/dev-tools.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/book/src/user/dev-tools.md b/book/src/user/dev-tools.md index 8f54a704..e1849098 100644 --- a/book/src/user/dev-tools.md +++ b/book/src/user/dev-tools.md @@ -42,7 +42,7 @@ chips that it uses. The `cost-model` binary takes high-level parameters for a circuit design, and estimates the verification cost, as well as resulting proof size. -``` +```plaintext Usage: cargo run --example cost-model -- [OPTIONS] k Positional arguments: