goblint/analyzer

Fix code scanning alert - Semgrep Finding: semgrep.fold-exists

michael-schwarz opened this issue · 1 comments

Weird that this didn't show up in the CI for #1614 nor when I run latest semgrep locally.