From ba3e5ee118b97afbd856e9f417abbc1b019b0e4f Mon Sep 17 00:00:00 2001
From: Robin Leroy <egg.robin.leroy@gmail.com>
Date: Sat, 30 Mar 2024 23:35:06 +0100
Subject: [PATCH] stupid linter

---
 base/cpuid.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/base/cpuid.cpp b/base/cpuid.cpp
index 268f292f7e..9107251690 100644
--- a/base/cpuid.cpp
+++ b/base/cpuid.cpp
@@ -90,7 +90,7 @@ std::string CPUFeatures() {
 #if PRINCIPIA_COMPILER_MSVC
   return CPUIDFlags()
       | std::views::filter(&CPUIDFeatureFlag::IsSet)
-      | std::views::transform(&CPUIDFeatureFlag::name)
+      | std::views::transform(&CPUIDFeatureFlag::name)  // NOLINT
       | std::views::join_with(' ')
       | std::ranges::to<std::string>();
 #else  // TODO(egg): Get rid of this once clang really has C++23.