Skip to content
GitLab
Explore
Sign in
Iris
RefinedC
Repository
refinedc
tutorial
proofs
t08_tree
generated_code.v
Find file
Blame
History
Permalink
Ensure variable names do not clash with Coq keywords.
· d95e8b34
Rodolphe Lepigre
authored
Dec 11, 2020
and
Michael Sammler
committed
Dec 11, 2020
This fixes the third point of
#30
.
d95e8b34