[FEAT] New keywords and checker additions, moving proofs in the papers module.HEADdevelop

Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>

1 files changed, 4 insertions, 1 deletions

diff --git a/example/example_02_nectar/example.nc b/example/example_02_nectar/example.nc
index 5e95c44..b9e13d3 100644
--- a/example/example_02_nectar/example.nc
+++ b/example/example_02_nectar/example.nc
@@ -2,6 +2,9 @@ extern exit;
 
 const main()
 {
-	let foo := exit(0);
+	let _ := exit(0);
+	if (_ === 0): {
+		return 0;
+	}
 	return 0;
 }