From f78d77055afb721364aac4d706b1b2ba8780dabf Mon Sep 17 00:00:00 2001
From: chriseth <chris@ethereum.org>
Date: Mon, 24 Apr 2023 14:59:48 +0200
Subject: [PATCH] Fix nonzero.

---
 riscv/src/compiler.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/riscv/src/compiler.rs b/riscv/src/compiler.rs
index 88ecee2c7..a5e1bb8d6 100644
--- a/riscv/src/compiler.rs
+++ b/riscv/src/compiler.rs
@@ -488,7 +488,7 @@ instr xor Y, Z -> X {
 }
 
 pil{
-	macro is_nonzero(X) { match X { 0 => 1, _ => 0 } };
+	macro is_nonzero(X) { match X { 0 => 0, _ => 1, } };
 	macro is_zero(X) { 1 - is_nonzero(X) };
 
 	col fixed binary_RESET(i) { is_zero((i % 4) - 3) };