From 3ada416049e6fab34642edb11894fb1321f868ef Mon Sep 17 00:00:00 2001
From: zyc <18611145971@163.com>
Date: Sat, 7 Mar 2026 10:41:50 +0800
Subject: [PATCH] Fix inconsistency

---
 air/src/proof/table.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/air/src/proof/table.rs b/air/src/proof/table.rs
index 9805cc031..94089ac2e 100644
--- a/air/src/proof/table.rs
+++ b/air/src/proof/table.rs
@@ -48,12 +48,12 @@ impl<E: FieldElement> Table<E> {
     ) -> Result<Self, DeserializationError> {
         assert!(num_rows > 0, "number of rows must be greater than 0");
         assert!(
-            num_rows < MAX_ROWS,
+            num_rows <= MAX_ROWS,
             "number of rows cannot exceed {MAX_ROWS}, but was {num_rows}"
         );
         assert!(num_cols > 0, "number of columns must be greater than 0");
         assert!(
-            num_cols < MAX_ROWS,
+            num_cols <= MAX_COLS,
             "number of columns cannot exceed {MAX_COLS}, but was {num_cols}"
         );