From 3e6fcda61e87f61fba547bed1eb239981966cb68 Mon Sep 17 00:00:00 2001 From: Amlal El Mahrouss Date: Tue, 24 Mar 2026 15:02:01 +0100 Subject: [FEAT] New keywords and checker additions, moving proofs in the papers module. Signed-off-by: Amlal El Mahrouss --- example/example_02_nectar/example.nc | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'example') 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; } -- cgit v1.2.3