Skip to content

Add missing `Hint Mode` for `ghost_var` and `gset_bij`; fix arguments of `gset_bijG`

Robbert Krebbers requested to merge ci/robbert/missing_hint_mode into master

Also put the arguments of gset_bijG in the right order, the Σ is always first for other *G classes.

Merge request reports