From 852e14e8918eceef28d01bd1a2ab7346b4916c7e Mon Sep 17 00:00:00 2001
From: anvacaru <16517508+anvacaru@users.noreply.github.com>
Date: Sat, 30 Nov 2019 00:06:11 +0200
Subject: [PATCH] Web3: use #clearGas in #eth_call_finalize (#577)

* web3.md: use #clearGas in #eth_call_finalize

* web3.md: formatting

* web3: formatting
---
 web3.md | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/web3.md b/web3.md
index 56b550fb18..8fbaaec7df 100644
--- a/web3.md
+++ b/web3.md
@@ -1277,7 +1277,13 @@ Transaction Receipts
 
     syntax KItem ::= "#eth_call_finalize"
  // -------------------------------------
-    rule <k> #eth_call_finalize => #setMode NORMAL ~> #popNetworkState ~> #rpcResponseSuccess(#unparseDataByteArray( OUTPUT )) ... </k>
+    rule <k> #eth_call_finalize
+          => #setMode NORMAL
+          ~> #popNetworkState
+          ~> #clearGas
+          ~> #rpcResponseSuccess(#unparseDataByteArray( OUTPUT ))
+         ...
+        </k>
          <output> OUTPUT </output>
 ```