From fb7e79c1d422b2b075c1ae9a970c1f5a7723dea2 Mon Sep 17 00:00:00 2001
From: ZhuangYumin <zhuangyumin@sjtu.edu.cn>
Date: Thu, 28 Sep 2023 00:29:25 +0800
Subject: [PATCH] delete unnecessary check

---
 src/include/client.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/include/client.h b/src/include/client.h
index 11d0ee1..15cd504 100644
--- a/src/include/client.h
+++ b/src/include/client.h
@@ -290,7 +290,6 @@ void InterpretResult(std::vector<std::vector<double> > equations) {
     assert(vid >= 0);
     assert(vid < variaID_to_position.size());
     std::pair<int, int> pos = variaID_to_position[vid];
-    assert(map_status[pos.first][pos.second] == 0);
     if (sol == 0) {
       map_status[pos.first][pos.second] = 1;
       no_mine_block_to_be_clicked.push(pos);