ras: make it compile

Author: OlivierBBB

hub/osaka/constraints/instruction-handling/call/precompiles/common/generalities.lisp

@@ -267,7 +267,7 @@
 ;; P256_VERIFY related shorthands sanity checks ;;
 ;;~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~;;
 
-(defproperty    precompile-processing---common---address-recovery-success-shorthands-sanity-checks
+(defproperty    precompile-processing---common---signature-verification-success-shorthands-sanity-checks
                 (begin
                   (is-binary   (precompile-processing---common---p256-sufficient-gas-wrong-cds))
                   (is-binary   (precompile-processing---common---p256-sig-verification-failure))

hub/osaka/constraints/instruction-handling/call/precompiles/common/success_ECRECOVER_and_P256_VERIFY.lisp

@@ -74,7 +74,7 @@
 
 (defun    (precompile-processing---ECRECOVER-and-P256VERIFY---mmu-phase)    (+   (*   (*   PHASE_ECRECOVER_RESULT     scenario/PRC_ECRECOVER   )
                                                                                       (*   PHASE_P256_VERIFY_RESULT   scenario/PRC_P256_VERIFY )
-                                                                                      ))
+                                                                                      )))
 
 
 ;;~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~;;