Fix typos in 'instructions' and 'instruction' keywords (#544)

Consensys · Dec 12, 2024 · dd809c6 · dd809c6
1 parent c71bc30
commit dd809c6
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/hub/constraints/generalities/context.lisp b/hub/constraints/generalities/context.lisp
@@ -94,7 +94,7 @@
 (defconstraint    generalities---context-numbers---imposing-CN_NEW-is-CALLER_CN---for-exceptions ()
                   (if-not-zero XAHOY (eq! CN_NEW CALLER_CN)))
 
-(defconstraint    generalities---context-numbers---imposing-CN_NEW-is-CALLER_CN---for-halting-instrutions ()
+(defconstraint    generalities---context-numbers---imposing-CN_NEW-is-CALLER_CN---for-halting-instructions ()
                   (if-not-zero PEEK_AT_STACK
                                (if-not-zero stack/HALT_FLAG
                                             (eq! CN_NEW CALLER_CN))))
diff --git a/mmu/instructions/right_padded_word_extraction.lisp b/mmu/instructions/right_padded_word_extraction.lisp
@@ -83,7 +83,7 @@
                                   0
                                   (right-padded-word-extraction---second-limb-byte-size))))
 
-(defconstraint right-padded-word-extraction---setting-micro-instrution-constant-values (:guard (* MACRO IS_RIGHT_PADDED_WORD_EXTRACTION))
+(defconstraint right-padded-word-extraction---setting-micro-instruction-constant-values (:guard (* MACRO IS_RIGHT_PADDED_WORD_EXTRACTION))
                (begin
                  (eq!       (shift micro/CN_S       NB_PP_ROWS_RIGHT_PADDED_WORD_EXTRACTION_PO) macro/SRC_ID)
                  (vanishes! (shift micro/EXO_SUM    NB_PP_ROWS_RIGHT_PADDED_WORD_EXTRACTION_PO))))