quint/invaction: fix dump recursion

This commit is contained in:
cron 2020-11-24 20:22:59 +00:00
parent 2010bdff17
commit e017cc52de

View File

@ -161,7 +161,7 @@ local function invaction_dump_slot(q, src, dst, srci, dstbounds)
quint.invaction_enqueue(q, act)
if scount > free then
return invaction_dump_slot(q, src, dst, srci)
return invaction_dump_slot(q, src, dst, srci, dstbounds)
end
return true