diff --git a/zokrates_cli/examples/left_side_call.zok b/zokrates_cli/examples/left_side_call.zok index 91670e7e..d01ae619 100644 --- a/zokrates_cli/examples/left_side_call.zok +++ b/zokrates_cli/examples/left_side_call.zok @@ -2,5 +2,5 @@ def foo() -> field: return 1 def main(): - assert(foo() + (1 + 44*3) == 1) + assert(foo() + (1 + 44*3) == 134) return diff --git a/zokrates_cli/examples/propagate_call.zok b/zokrates_cli/examples/propagate_call.zok index a7353e6d..d2dba6f8 100644 --- a/zokrates_cli/examples/propagate_call.zok +++ b/zokrates_cli/examples/propagate_call.zok @@ -1,5 +1,5 @@ def foo(field a, field b) -> (field, field): - assert(a == b + 2) + assert(a == b) return a, b def main() -> field: