From ca23629a1cefe20d7c9e10e2841537a9e14f8cf2 Mon Sep 17 00:00:00 2001
From: Robin Leroy <egg.robin.leroy@gmail.com>
Date: Sat, 30 Mar 2024 19:49:04 +0100
Subject: [PATCH] iwyusing

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

diff --git a/base/cpuid.cpp b/base/cpuid.cpp
index d42f3bb25d..9b2e2eb6db 100644
--- a/base/cpuid.cpp
+++ b/base/cpuid.cpp
@@ -4,6 +4,7 @@
 #include <vector>
 
 #include "base/macros.hpp"  // 🧙 For PRINCIPIA_COMPILER_MSVC.
+#include "base/not_null.hpp"
 #if PRINCIPIA_COMPILER_MSVC
 #include <intrin.h>
 #else