From 3976177a3df1f6dff0b14dbabea774839bd7af98 Mon Sep 17 00:00:00 2001 From: Virgil Serbanuta Date: Mon, 27 Nov 2017 20:55:13 +0200 Subject: [PATCH] Small fix --- gas.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gas.md b/gas.md index dc18b1145..8393c8411 100644 --- a/gas.md +++ b/gas.md @@ -389,7 +389,7 @@ We assume that all operations interrogating the local state have complexity ```hs computationCost(LOCALCALL(_, nARGS, _) _ rARGS) = - returnAddressSaveCost + wordSetCost * REGISTERS + + returnAddressSaveCost + byteSetCost * registerMetadataSize * REGISTERS + wordCopyCost * (sum [registerSize r | r <- rARGS]) + jumpCost + callStackDepthCheckCost memoryDelta(LOCALCALL(_, nARGS, _) _ rARGS) =