github-mig/ZoKrates
github-mig/ZoKrates
1
0
Fork 0
mirror of synced 2025-09-23 12:18:44 +00:00
Code Issues Projects Releases Wiki Activity

Merge pull request #1286 from Turupawn/patch-1

Browse source 
Fixed small typo
This commit is contained in:
Thibaut Schaeffer 2023-03-17 10:00:17 +00:00 committed by GitHub
commit 7f698545f6
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
zokrates_cli/examples/sudoku/sudoku_checker.zok
View file

@ -15,7 +15,7 @@ def countDuplicates(field e11, field e12, field e21, field e22) -> field {
duplicates = duplicates + e11 == e21 ? 1 : 0;
duplicates = duplicates + e11 == e22 ? 1 : 0;
duplicates = duplicates + e12 == e21 ? 1 : 0;
duplicates = duplicates + e12 == e21 ? 1 : 0;
duplicates = duplicates + e12 == e22 ? 1 : 0;
duplicates = duplicates + e21 == e22 ? 1 : 0;
return duplicates;
}