612 fix cfi strict lex ordering (#613)

letypequividelespoubelles · web-flow · commit 534e734c112b · 2025-03-06T12:13:48.000+01:00
Signed-off-by: F Bojarski &lt;ceciestunepoubelle@protonmail.ch&gt;
diff --git a/romlex/constraints.lisp b/romlex/constraints.lisp
@@ -20,5 +20,5 @@
   (begin (eq! CODE_HASH_HI EMPTY_KECCAK_HI)
          (eq! CODE_HASH_LO EMPTY_KECCAK_LO)))
 
-(defstrictsorted cfi-strict-lexicographic-order (~ CFI)
+(defstrictsorted cfi-strict-lexicographic-order (prev CFI)
                  ((+ ADDRESS_HI) (+ ADDRESS_LO) (+ DEPLOYMENT_NUMBER) (- DEPLOYMENT_STATUS)))
