-
Virgile Prevosto authored
Removes some useless AST elements See merge request frama-c/frama-c!3439
Virgile Prevosto authoredRemoves some useless AST elements See merge request frama-c/frama-c!3439
Removes some useless AST elements See merge request frama-c/frama-c!3439
Removes some useless AST elements See merge request frama-c/frama-c!3439