book: Fix CI failure

This commit is contained in:
Jack Grigg 2021-05-18 19:54:28 +01:00
parent 318f2057d8
commit 7cb2e6a954
1 changed files with 1 additions and 1 deletions

View File

@ -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: