theories/program_logic/ectxi_language.v · e0d10c05fb04d4e138b4657c9103ffcfa357b2bd · Pierre Roux / Iris · GitLab

Snippets Groups Projects

Forked from Iris / Iris

Source project has a limited visibility.

5 years ago
e0d10c05
Properly set scopes for `ectx(i)_language`, like we do for `language`. · e0d10c05
Robbert Krebbers authored 5 years ago
```
This fixes the problem in !275 (comment 42062)
```
e0d10c05

History
Properly set scopes for `ectx(i)_language`, like we do for `language`.
Robbert Krebbers authored 5 years ago
```
This fixes the problem in !275 (comment 42062)
```