style: styme review

Consensys · Oct 17, 2023 · 678c328 · 678c328
1 parent 044ed42
commit 678c328
Showing 1 changed file with 3 additions and 4 deletions.
diff --git a/rom/constraints.lisp b/rom/constraints.lisp
@@ -140,10 +140,9 @@
                (vanishes! INDEX)))
 
 (defconstraint new-ct-increment-index ()
-  (if-not-zero (* CFI
-                  (- CFI
-                     (+ (prev CFI) 1))
-                  (- 1 (~ CT)))
+  (if-not-zero (any! CFI
+                     (did-inc! CFI 1)
+                     (- 1 (~ CT)))
                (did-inc! INDEX 1)))
 
 (defconstraint index-inc-in-middle-padding ()