fix docs: mimic call uses r15, not r3

matter-labs · Nov 17, 2023 · 33bdd36 · 33bdd36
1 parent e1ecab1
commit 33bdd36
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/sem/Farcall.v b/src/sem/Farcall.v
@@ -390,7 +390,7 @@ Definition regs_effect regs (is_system is_ctor:bool) ptr :=
 
        + Mimic call sets:
          * `this_address` <- destination address;
-         * `msg_sender` <- value of `r3`;
+         * `msg_sender` <- value of `r15`;
          * `context` <- value of context register [%gs_context_u128].
  *)
 Definition CALL_IMPLICIT_PARAMETER_REG := R15.