Skip to content
GitLab
Explore
Sign in
pub
frama-c
Repository
frama-c
src
kernel_internals
typing
cabs2cil.ml
Find file
Blame
History
Permalink
[kernel] Cabs2cil: do not create const temporary variables.
· 084a6d88
David Bühler
authored
Oct 09, 2020
and
Andre Maroneze
committed
Oct 15, 2020
Removes the "const" attribute from types used to create temporary variables.
084a6d88