From 5e411c8427e22297e8fca0a510ba14e0d5310a6c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Santiago=20Ospina=20De=20Los=20R=C3=ADos?=
<sospinar@gmail.com>
Date: Tue, 16 Jan 2024 22:18:43 +0000
Subject: [PATCH] Remove ODR violation from check
---
.codechecker/config.json | 1 -
1 file changed, 1 deletion(-)
diff --git a/.codechecker/config.json b/.codechecker/config.json
index 6d849a63b..751154da5 100644
--- a/.codechecker/config.json
+++ b/.codechecker/config.json
@@ -4,7 +4,6 @@
"--analyzers=clang-tidy",
"--file=*/dune-common/*.cc",
"--skip", ".codechecker/skipfile",
- "--enable", "misc-definitions-in-headers",
"--disable", "clang-diagnostic-deprecated-copy",
"--disable", "clang-diagnostic-unused"
],
--
GitLab