Clarify the gas forwarded field in call receipt (#501)

Related to FuelLabs/fuel-vm#503
FuelLabs · Jul 10, 2023 · 1cc31e7 · 1cc31e7
1 parent c0cb392
commit 1cc31e7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/fuel-vm/instruction-set.md b/src/fuel-vm/instruction-set.md
@@ -1623,7 +1623,7 @@ Append a receipt to the list of receipts, modifying `tx.receiptsRoot`:
 | `to`       | `byte[32]`    | Contract ID of called contract.                                           |
 | `amount`   | `uint64`      | Amount of coins to forward, i.e. `$rB`.                                   |
 | `asset_id` | `byte[32]`    | Asset ID of coins to forward, i.e. `MEM[$rC, 32]`.                        |
-| `gas`      | `uint64`      | Gas to forward, i.e. `$rD`.                                               |
+| `gas`      | `uint64`      | Gas to forward, i.e. `min($rD, $cgas)`.                                               |
 | `param1`   | `uint64`      | First parameter.                                                          |
 | `param2`   | `uint64`      | Second parameter.                                                         |
 | `pc`       | `uint64`      | Value of register `$pc`.                                                  |