fix typo

runtimeverification · Jan 11, 2024 · 63311eb · 63311eb
1 parent 5917eb0
commit 63311eb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/wasm.md b/wasm.md
@@ -1210,7 +1210,7 @@ The `#take` function will return the parameter stack in the reversed order, then
 
 ### Function Call
 
-`call funcidx` and `call_indirect tableidx typeuse` are 2 control instructions that invokes a function in the current frame.
+`call funcidx` and `call_indirect tableidx typeuse` are 2 control instructions that invoke a function in the current frame.
 
 ```k
     syntax Instr ::= #call(Int) [klabel(aCall), symbol]