Commit d35b1cad authored by Ralf Jung's avatar Ralf Jung

Merge branch 'ci/janno/vmcast' into 'master'

Use `<:` (VMcast) for instances of `exact I` in lang/tactics.v

See merge request !10
parents 9843e3f0 1843d0c1
Pipeline #7137 passed with stage
in 14 minutes and 35 seconds