From 6d79a50a451403da1af0d3e0e5e6193c3d597360 Mon Sep 17 00:00:00 2001
From: Jingyue Wu <wujingyue@gmail.com>
Date: Thu, 29 Jan 2026 13:47:35 -0800
Subject: [PATCH] Remove unnecessary header

clangd told me this header is not necessary, but I haven't checked it other
than building. Wdyt?
---
 csrc/base.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/csrc/base.h b/csrc/base.h
index 88052e9e259..64dfd1551d9 100644
--- a/csrc/base.h
+++ b/csrc/base.h
@@ -7,7 +7,6 @@
 // clang-format on
 #pragma once
 
-#include <concepts>
 #include <coroutine>
 #include <deque>
 #include <iterator>