Update docs/execution_walkthrough.md

Co-authored-by: Julian Gonzalez Calderon <gonzalezcalderonjulian@gmail.com>

Author: DiegoCivi

docs/execution_walkthrough.md

@@ -250,8 +250,8 @@ When initializing an executor, for each of the variants of the `RuntimeBinding`
 is declared that will contain a pointer to the runtime function implementation. Then on execution, it will access the global symbol of the desired function and find its pointer. This way, each contract uses the
 same runtime library located on the sequencer in a dynamic dispatch way.
 
-Although it's implemented in Rust, its functions use the C ABI and have Rust's
-name mangling disabled. This means that to the extern observer it's technically
+Although it's implemented in Rust, its functions use the C ABI.
+This means that to the extern observer it's technically
 indistinguishible from a library written in C. By doing this we're making the
 functions callable from MLIR.