Merge branch 'BLOCKHASH-redesign' of github.com:Consensys/linea-const…

…raints into BLOCKHASH-redesign
Consensys · Jan 6, 2025 · bae90cc · bae90cc
2 parents 6dc0866 + b2457b1
commit bae90cc
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))