From 30c9d8b8b187a019ef7c735f681b221dd3ff281d Mon Sep 17 00:00:00 2001 From: Ahmed Castro Date: Fri, 24 Mar 2023 16:36:49 -0600 Subject: [PATCH] Update sudoku_checker.zok --- zokrates_cli/examples/sudoku/sudoku_checker.zok | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/zokrates_cli/examples/sudoku/sudoku_checker.zok b/zokrates_cli/examples/sudoku/sudoku_checker.zok index 7fc6e225..b77748f4 100644 --- a/zokrates_cli/examples/sudoku/sudoku_checker.zok +++ b/zokrates_cli/examples/sudoku/sudoku_checker.zok @@ -74,7 +74,5 @@ def main(field a21, field b11, field b22, field c11, field c22, field d21, priva duplicates = duplicates + countDuplicates(b12, b22, d12, d22); // the solution is correct if and only if there are no duplicates - assert(duplicates == 0); - - return; + return duplicates == 0; }