Fix warnings that manifested themselves as errors after multiple simu…#3959

Merged

qwwdfsad merged 2 commits intodevelopfrom

Nov 30, 2023

Commits on Nov 30, 2023

Fix warnings that manifested themselves as errors after multiple simultaneous merges
qwwdfsad
committed
~exclude unnecessary classes from the verification
qwwdfsad
committed