Skip to content

Commit

Permalink
Minor changes in simplification-json.md
Browse files Browse the repository at this point in the history
  • Loading branch information
alrubio authored Feb 17, 2024
1 parent d287579 commit 504303f
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions mkdocs/docs/circom-language/formats/simplification-json.md
Original file line number Diff line number Diff line change
Expand Up @@ -60,7 +60,7 @@ Instead, if we run
circom simplify.circom --r1cs --wasm --simplification_substitution --O0
```

to indicate that we do not want to apply any simplification the generated file 'simplify_substitutions.json' contains
to indicate that we do not want to apply any simplification, the generated file 'simplify_substitutions.json' contains

```text
{
Expand All @@ -72,7 +72,7 @@ Finaly, if we run
circom simplify.circom --r1cs --wasm --simplification_substitution --O1
```

to indicate that we only want to apply constant and renaming (equalities between signals) simplifications the generated file 'simplify_substitutions.json' contains
to indicate that we only want to apply constant and renaming (equalities between signals) simplifications, the generated file 'simplify_substitutions.json' contains

```text
{
Expand Down

0 comments on commit 504303f

Please sign in to comment.