From dccd879f0f25dc1e4c4ba8cb65001a7e1cd97a46 Mon Sep 17 00:00:00 2001
From: alan <652732310@qq.com>
Date: Thu, 5 Sep 2024 11:50:12 +0800
Subject: [PATCH] make variable_limit tight

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

diff --git a/circuit/environment/src/circuit.rs b/circuit/environment/src/circuit.rs
index b1edb6e9d9..92936dff5a 100644
--- a/circuit/environment/src/circuit.rs
+++ b/circuit/environment/src/circuit.rs
@@ -57,7 +57,7 @@ impl Environment for Circuit {
                 // Ensure that we do not surpass the variable limit for the circuit.
                 VARIABLE_LIMIT.with(|variable_limit| {
                     if let Some(limit) = variable_limit.get() {
-                        if Self::num_variables() > limit {
+                        if Self::num_variables() >= limit {
                             Self::halt(format!("Surpassed the variable limit ({limit})"))
                         }
                     }