Forked from
Iris / Iris
Source project has a limited visibility.
-
Robbert Krebbers authored
Replace/remove some occurences of `persistently` into `persistent` where the property instead of the modality is used.
Robbert Krebbers authoredReplace/remove some occurences of `persistently` into `persistent` where the property instead of the modality is used.
