From 68f5a315be252bb5d8c595e196b48158abc48791 Mon Sep 17 00:00:00 2001
From: Robin Leroy <egg.robin.leroy@gmail.com>
Date: Sun, 7 Apr 2024 08:48:19 +0200
Subject: [PATCH] Fix lint

---
 testing_utilities/check_well_formedness.hpp | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/testing_utilities/check_well_formedness.hpp b/testing_utilities/check_well_formedness.hpp
index 6c5688ea96..85c3f2997d 100644
--- a/testing_utilities/check_well_formedness.hpp
+++ b/testing_utilities/check_well_formedness.hpp
@@ -1,14 +1,12 @@
 #pragma once
 #include <type_traits>
 
-#include "base/macros.hpp"
-
 #define PRINCIPIA_EXPAND(...) __VA_ARGS__
 
 #define PRINCIPIA_CONCATENATE(s1, s2) s1##s2
 #define PRINCIPIA_CONCATENATE_EXPANSION(s1, s2) PRINCIPIA_CONCATENATE(s1, s2)
 
-#define PRINCIPIA_COMMA_IF_NONEMPTY(...) __VA_OPT__(,)
+#define PRINCIPIA_COMMA_IF_NONEMPTY(...) __VA_OPT__(,)  // NOLINT
 
 #define PRINCIPIA_CHECK_WELL_FORMEDNESS(unique_concept_name,                  \
                                         expected_well_formedness,             \