clang tidy fix

runtimeverification · Dec 10, 2024 · bdfceba · bdfceba
1 parent 572fe63
commit bdfceba
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/lib/codegen/CreateTerm.cpp b/lib/codegen/CreateTerm.cpp
@@ -1174,6 +1174,7 @@ bool can_tail_call(llvm::Type *type) {
   return int_type->getBitWidth() <= 192;
 }
 
+// NOLINTNEXTLINE(*-cognitive-complexity)
 bool make_function(
     std::string const &name, kore_pattern *pattern, kore_definition *definition,
     llvm::Module *module, bool tailcc, bool big_step, bool apply,