have clang tidy report non const globals

runtimeverification · May 14, 2024 · cf7746d · cf7746d
1 parent 38d8a5a
commit cf7746d
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.clang-tidy b/.clang-tidy
@@ -24,7 +24,6 @@ Checks:
   -bugprone-lambda-function-name
   cppcoreguidelines-*
   -cppcoreguidelines-avoid-magic-numbers
-  -cppcoreguidelines-avoid-non-const-global-variables
   -cppcoreguidelines-narrowing-conversions
   -cppcoreguidelines-no-malloc
   -cppcoreguidelines-owning-memory