style

Signed-off-by: Francois Bojarski <francois.bojarski@consensys.net>
Consensys · Sep 27, 2024 · 50be483 · 50be483
1 parent 85c30fe
commit 50be483
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/rlptxn/constraints.lisp b/rlptxn/constraints.lisp
@@ -865,8 +865,7 @@
                                                                      (next LT)
                                                                      (- 1 (next LX))
                                                                      (- 1 (next IS_PREFIX))))
-                                                       (eq! (^ (w-minus-two-beta-minus-protected-base-V) 2)
-                                                            (w-minus-two-beta-minus-protected-base-V)))))))))
+                                                       (is-binary (w-minus-two-beta-minus-protected-base-V)))))))))
 
 (defconstraint phaseBeta-rlp-beta (:guard IS_PHASE_BETA)
   (if-not-zero (* LX IS_PREFIX)