From afc1b6789f6ba48bc9fd6b0e0a6be9ccf145d136 Mon Sep 17 00:00:00 2001
From: Diomidis Spinellis <dds@aueb.gr>
Date: Thu, 29 Aug 2024 08:54:35 +0300
Subject: [PATCH] Correct header file for ptrdiff_t

---
 src/cpp.h | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/cpp.h b/src/cpp.h
index 03c60e71..7d55bfca 100644
--- a/src/cpp.h
+++ b/src/cpp.h
@@ -24,7 +24,7 @@
 #ifndef CPP_H
 #define CPP_H
 
-#include <cstdlib>
+#include <cstddef>
 
 using namespace std;
 
@@ -32,9 +32,9 @@ using namespace std;
 typedef long cs_offset_t;
 
 /*
- * Return as an integral value a pointer's offset for writing it to
- * a database.
- * Not strictly portable, but better than casting to unsigned
+ * Return as an integral value a pointer's offset (in units of T) for
+ * writing it to a database.
+ * Not strictly portable, but better than casting to unsigned.
  */
 template <class T>
 inline ptrdiff_t