mirror of
https://github.com/ethereum/solidity
synced 2023-10-03 13:03:40 +00:00
Fix gasleft variable name
This commit is contained in:
parent
cb017b95cf
commit
95f973e08a
@ -797,7 +797,7 @@ void SMTEncoder::visitCryptoFunction(FunctionCall const& _funCall)
|
|||||||
|
|
||||||
void SMTEncoder::visitGasLeft(FunctionCall const& _funCall)
|
void SMTEncoder::visitGasLeft(FunctionCall const& _funCall)
|
||||||
{
|
{
|
||||||
string gasLeft = "gasleft()";
|
string gasLeft = "gasleft";
|
||||||
// We increase the variable index since gasleft changes
|
// We increase the variable index since gasleft changes
|
||||||
// inside a tx.
|
// inside a tx.
|
||||||
defineGlobalVariable(gasLeft, _funCall, true);
|
defineGlobalVariable(gasLeft, _funCall, true);
|
||||||
|
Loading…
Reference in New Issue
Block a user