fix(blockdata): chainid-permanence

Consensys · Dec 17, 2024 · e71bce5 · e71bce5
1 parent 7d36e96
commit e71bce5
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/blockdata/constraints.lisp b/blockdata/constraints.lisp
@@ -358,8 +358,8 @@
 
 (defconstraint chainid-permanence (:guard (chainid-precondition))
   (if-not-zero IS_CURR
-      (eq! DATA_HI (shift DATA_HI (- CT_MAX_DEPTH)))
-      (eq! DATA_LO (shift DATA_LO (- CT_MAX_DEPTH)))))
+      (begin (eq! DATA_HI (shift DATA_HI (- CT_MAX_DEPTH)))
+             (eq! DATA_LO (shift DATA_LO (- CT_MAX_DEPTH))))))
 
 (defconstraint chainid-bound (:guard (chainid-precondition))
     (wcp-call-to-GEQ 0 DATA_HI DATA_LO 0 0))