-
Robbert Krebbers authored
Replace/remove some occurences of `persistently` into `persistent` where the property instead of the modality is used.
2a92f265
Replace/remove some occurences of `persistently` into `persistent` where the property instead of the modality is used.