Skip to content
GitLab
Explore
Sign in
Rodolphe Lepigre
Iris
Repository
iris
theories
proofmode
spec_patterns.v
Find file
Blame
History
Permalink
Correctly coerce `ident` into `spec_pat` in `spec_pat.parse`.
· 85509592
Robbert Krebbers
authored
Jan 15, 2019
This became broken after the nested iSpecialize MR.
85509592