Skip to content
GitLab
Explore
Sign in
pub
frama-c
Repository
frama-c
src
kernel_internals
typing
cabs2cil.ml
Find file
Blame
History
Permalink
[typing] don't forget to cast result of conditional if needed
· 2db8b0c2
Virgile Prevosto
authored
Mar 03, 2020
2db8b0c2