From 48885d64a4ecced90cda65392eded9dcd3234a5b Mon Sep 17 00:00:00 2001
From: Ahmed Castro <ahmed.hn.43@gmail.com>
Date: Fri, 24 Mar 2023 16:37:58 -0600
Subject: [PATCH] Update sudoku_checker.zok

---
 zokrates_cli/examples/sudoku/sudoku_checker.zok | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/zokrates_cli/examples/sudoku/sudoku_checker.zok b/zokrates_cli/examples/sudoku/sudoku_checker.zok
index b77748f4..4c01df6e 100644
--- a/zokrates_cli/examples/sudoku/sudoku_checker.zok
+++ b/zokrates_cli/examples/sudoku/sudoku_checker.zok
@@ -26,7 +26,7 @@ def validateInput(field x) -> bool {
 }
 
 // variables naming: box'row''column'
-def main(field a21, field b11, field b22, field c11, field c22, field d21, private field a11, private field a12, private field a22, private field b12, private field b21, private field c12, private field c21, private field d11, private field d12, private field d22) {
+def main(field a21, field b11, field b22, field c11, field c22, field d21, private field a11, private field a12, private field a22, private field b12, private field b21, private field c12, private field c21, private field d11, private field d12, private field d22) -> bool {
 
     // validate inputs
     assert(validateInput(a11));