From 03fb11eab92fa2d36edac7a5cc600953cfed3b4a Mon Sep 17 00:00:00 2001
From: Sadie Powell
Date: Tue, 12 May 2026 13:51:41 +0100
Subject: Move FilePtr to the pointer utility header.

---
 include/utility/pointer.h | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'include/utility/pointer.h')

diff --git a/include/utility/pointer.h b/include/utility/pointer.h
index 319a0c109..3f599d22c 100644
--- a/include/utility/pointer.h
+++ b/include/utility/pointer.h
@@ -21,6 +21,9 @@
 
 namespace insp
 {
+	/** A pointer to a FILE that closes when it goes out of scope. */
+	using file_ptr = std::unique_ptr<FILE, int(*)(FILE*)>;
+
 	/** Deletes all elements in a container using operator delete
 	 * @param cont The container containing the elements to delete
 	 */
-- 
cgit v1.3.1-10-gc9f91