Small fix

virgil-serbanuta · Nov 27, 2017 · 3976177 · 3976177
1 parent c9f01ff
commit 3976177
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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) =