From a94cb9f9deca59ddfa91bc52ca2a8294fffa6e7f Mon Sep 17 00:00:00 2001
From: dark64 <darem966@gmail.com>
Date: Fri, 16 Apr 2021 15:19:05 +0200
Subject: [PATCH] update assert example

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

diff --git a/zokrates_cli/examples/book/assert.zok b/zokrates_cli/examples/book/assert.zok
index 5d731a3e..ccef8009 100644
--- a/zokrates_cli/examples/book/assert.zok
+++ b/zokrates_cli/examples/book/assert.zok
@@ -1,3 +1,3 @@
 def main() -> ():
-	assert(2f == 2f)
+	assert(1f + 1f == 2f)
 	return
\ No newline at end of file