Skip to content
GitLab
Explore
Sign in
pub
frama-c
Repository
frama-c
doc
developer
examples
syntactic_check.ml
Find file
Blame
History
Permalink
[devman] fix visitor example following SO question
· 5546f53d
Virgile Prevosto
authored
Jul 29, 2022
See
https://stackoverflow.com/questions/73094227/how-do-i-declare-a-logic-variable
5546f53d