Skip to content

Commit

Permalink
Merge pull request #321 from dannbbb1/master
Browse files Browse the repository at this point in the history
Refined text by fixing typos and improving clarity
  • Loading branch information
miguelis authored Dec 18, 2024
2 parents c9e029f + c1dd547 commit 2e06f60
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions mkdocs/docs/circom-language/formats/constraints-json.md
Original file line number Diff line number Diff line change
Expand Up @@ -60,7 +60,7 @@ a file 'basic_contraints.json' is generated and it contains two constraints:
}
```

As we can see, only constant and renaming (equalities between signals) simplifications have been aplied
As we can see, only constant and renaming (equalities between signals) simplifications have been applied
(since the --O1 simplification is the default).

Instead, if we run
Expand All @@ -81,7 +81,7 @@ to indicate that we do not want to apply any simplification the generated file '
]
}
```
Finaly, if we run
Finally, if we run

```text
circom basic.circom --json --wasm --O2
Expand Down

0 comments on commit 2e06f60

Please sign in to comment.