Address clang-tidy warning.

runtimeverification · Dec 6, 2024 · f23039a · f23039a
1 parent a076360
commit f23039a
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/tools/llvm-kompile-codegen/main.cpp b/tools/llvm-kompile-codegen/main.cpp
@@ -148,6 +148,7 @@ void emit_metadata(llvm::Module &mod) {
 
 // NOLINTNEXTLINE(*-cognitive-complexity)
 int main(int argc, char **argv) {
+  // NOLINTNEXTLINE(*-identifier-naming)
   LLVMBackendGCStrategy _gcs; // Unused. This is needed to ensure linking.
   initialize_llvm();