From e71bce5a9e24bac424b067d50b23cb5c34d09d03 Mon Sep 17 00:00:00 2001 From: amkCha <29160563+amkCha@users.noreply.github.com> Date: Tue, 17 Dec 2024 22:39:23 +0100 Subject: [PATCH] fix(blockdata): chainid-permanence --- blockdata/constraints.lisp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/blockdata/constraints.lisp b/blockdata/constraints.lisp index 0f9b416a..8ff6f0e4 100644 --- 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))