fix: make BLOCKHASH constraint non debug

Consensys · Jan 6, 2025 · b2457b1 · b2457b1
1 parent e03a3c8
commit b2457b1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/blockhash/constraints.lisp b/blockhash/constraints.lisp
@@ -57,7 +57,7 @@
                              (begin
                                (vanishes!                CT)
                                (vanishes!                (next    PRPRC))
-                               (debug      (vanishes!    (next    CT)))
+                               (vanishes!                (next    CT))
                                (debug      (vanishes!    macro/BLOCKHASH_ARG_HI))
                                (debug      (vanishes!    macro/BLOCKHASH_ARG_LO))
                                (debug      (vanishes!    macro/BLOCKHASH_VAL_HI))