--- layout: fc_discuss_archives title: Message 12 from Frama-C-discuss on January 2014 ---
Hi all, How to discard a visiting glob while it satisfy some condition? method vglob_aux g = match g with | GType _ -> SkipChildren | GVar _ -> if(g satisfy some condition) then ; (*** discard this glob ***) else SkipChildren | _ -> SkipChildren Here, How to write the code for if condition? Thanks. -david