make structs proof irrelevant

Merge request reports

Loading