HomeIsabelle/Phabricator

Remove virtual prefix from Load/SaveInterpreterState. These are no longer…

Description

Remove virtual prefix from Load/SaveInterpreterState. These are no longer virtual.

Details

Provenance
dcjmAuthored on Nov 13 2020, 1:31 PM
Parents
rPOLYMLbd951d6dfb2f: Remove legacy entries.
Branches
Unknown
Tags
Unknown