typo

Author: OlivierBBB

hub/osaka/constraints/instruction-handling/call/precompiles/NSRs_and_flag_sums_II.lisp

@@ -366,7 +366,7 @@
 
 ;; P256_VERIFY flag sum
 (defun    (precompile-processing---2nd-half-flag-sum-for-P256-VERIFY)
-  (+  (*       scenario/PRC_FAILURE_KNOWN_TO_HUB)
+  (+  (*  (precompile-processing---flag-sum-P256-VERIFY-FKTH)       scenario/PRC_FAILURE_KNOWN_TO_HUB)
       (*  (precompile-processing---flag-sum-P256-VERIFY-FKTR)       scenario/PRC_FAILURE_KNOWN_TO_RAM)
       (*  (precompile-processing---flag-sum-P256-VERIFY-success)    (scenario-shorthand---PRC---success))
           ))