Fixed HUB typo in (stateless-instruction---precondition) (#362)

Consensys · Sep 17, 2024 · ca03c9b · ca03c9b
1 parent 6dc315f
commit ca03c9b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/hub/constraints/instruction-handling/add_bin_ext_mod_mul_shf_wcp.lisp b/hub/constraints/instruction-handling/add_bin_ext_mod_mul_shf_wcp.lisp
@@ -55,7 +55,7 @@
 ;;  Constraints  ;;
 ;;;;;;;;;;;;;;;;;;;
 
-(defun (stateless-instruction---precondition) (* PEEK_AT_STACK (- 1 stack/SUX stack/SUX)))
+(defun (stateless-instruction---precondition) (* PEEK_AT_STACK (- 1 stack/SUX stack/SOX)))
 
 ;; TODO: comment out
 ;; sanity check