From 82f09a76c65f94ac550319b2722fc6a4fc6e7a95 Mon Sep 17 00:00:00 2001
From: wwared <541936+wwared@users.noreply.github.com>
Date: Thu, 29 Aug 2024 11:03:25 -0300
Subject: [PATCH] chore: Address tiny nit

---
 src/lurk/eval.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/lurk/eval.rs b/src/lurk/eval.rs
index bc11b446..1c6638e1 100644
--- a/src/lurk/eval.rs
+++ b/src/lurk/eval.rs
@@ -535,14 +535,14 @@ pub fn u64_iszero<F>() -> FuncE<F> {
 pub fn u64_equal<F: AbstractField>() -> FuncE<F> {
     func!(
         fn u64_equal(a, b): [1] {
-            let zero = 0;
-            let one = 1;
             let a: [8] = load(a);
             let b: [8] = load(b);
             let diff = sub(a, b);
             if diff {
+                let zero = 0;
                 return zero
             }
+            let one = 1;
             return one
         }
     )