Rename GTU -> currency

fc8274fb · Jakob Botsch Nielsen · 1c27ec06 · fc8274fb
Commit fc8274fb authored Jun 24, 2019 by Jakob Botsch Nielsen
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

theories/Blockchain.v theories/Blockchain.v +1 -1

No files found.
--- a/theories/Blockchain.v
+++ b/theories/Blockchain.v
@@ -115,7 +115,7 @@ Record ContractCallContext :=
    ctx_from : Address;
    (* Address of the contract being called *)
    ctx_contract_address : Address;
-    (* Amount of GTU passed in call *)
+    (* Amount of currency passed in call *)
    ctx_amount : Amount;
  }.