HomeIsabelle/Phabricator

Empty the save-vec at the start of every RTS call. The calls to SaveVec::mark…

Description

Empty the save-vec at the start of every RTS call. The calls to SaveVec::mark and SaveVec::reset in each RTS call are now redundant.

Details

Provenance
dcjmAuthored on May 12 2023, 5:40 PM
Parents
rPOLYMLa5d5fba90286: Reset the save-vec after calls to the objsize function. Includes regression…
Branches
Unknown
Tags
Unknown