fix #if

leanprover · Jan 18, 2025 · 224d6a7 · 224d6a7
1 parent 764c31b
commit 224d6a7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/runtime/buffer.h b/src/runtime/buffer.h
@@ -27,7 +27,7 @@ class buffer {
 
     void free_memory() {
         if (m_buffer != reinterpret_cast<T*>(m_initial_buffer))
-            #if __cplusplus >= 201402L
+            #if __cpp_sized_deallocation >= 201309L
                 operator delete[](reinterpret_cast<char*>(m_buffer), sizeof(T) * m_capacity);
             #else
                 delete[] reinterpret_cast<char*>(m_buffer);