Same number check is not correct

0xPolygonHermez · Oct 16, 2024 · 28a1825 · 28a1825
1 parent d1fb1b6
commit 28a1825
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/pil2-components/lib/std/pil/std_prod.pil b/pil2-components/lib/std/pil/std_prod.pil
@@ -254,8 +254,6 @@ private function check_opids_were_completed_prod() {
             error(`${name_str} #${opid} defined without assume`);
         } else if (proves == 0) {
             error(`${name_str} #${opid} defined without proves`);
-        }else if (assumes != proves) {
-            error(`${name_str} #${opid} defined with #${assumes} assumes and #${proves} proves`);
         }
     }
 }