-
Robbert Krebbers authored
In particular, remove ectx_language.atomic, because it seems unused expect for a smart constructor for language.atomic.
037d8d62
In particular, remove ectx_language.atomic, because it seems unused expect for a smart constructor for language.atomic.