fix: typo

Consensys · Dec 29, 2023 · de6f8ca · de6f8ca
1 parent 6f691ed
commit de6f8ca
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/alu/add/constraints.lisp b/alu/add/constraints.lisp
@@ -35,7 +35,7 @@
                       (vanishes! (next CT)))
          (if-not-zero STAMP
                       (begin (any! (eq! INST ADD) (eq! INST SUB))
-                             (if-eq-else CT LLARGEMO (will-inc! STAMP 1) (will-inc! CT 1))
+                             (if-eq-else CT CT_MAX (will-inc! STAMP 1) (will-inc! CT 1))
                              (eq! (~ (* (- CT LLARGE) CT_MAX))
                                   1)))))