Skip to content

Commit

Permalink
run.sh: fix a typo after renaming function
Browse files Browse the repository at this point in the history
  • Loading branch information
NickVolynkin committed Nov 16, 2023
1 parent 66eccae commit ba95195
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion scripts/run.sh
Original file line number Diff line number Diff line change
Expand Up @@ -248,7 +248,7 @@ verify() {

run_all() {
compile
build_constraint
run_assigner
prove
build_circuit_params
}
Expand Down

0 comments on commit ba95195

Please sign in to comment.