From 108c90038776724e94d8c372554c253b0a4d2341 Mon Sep 17 00:00:00 2001
From: "William D. Jones" <thor0505@comcast.net>
Date: Wed, 13 Jul 2022 06:38:03 -0400
Subject: [PATCH] Fix unique_ptr memory header for MinGW64 (#3493).

---
 docs/CONTRIBUTORS | 1 +
 src/V3File.h      | 1 +
 2 files changed, 2 insertions(+)

diff --git a/docs/CONTRIBUTORS b/docs/CONTRIBUTORS
index 6089a5eaa..a80d950b9 100644
--- a/docs/CONTRIBUTORS
+++ b/docs/CONTRIBUTORS
@@ -116,6 +116,7 @@ Unai Martinez-Corral
 Vassilis Papaefstathiou
 Veripool API Bot
 Victor Besyakov
+William D. Jones
 Wilson Snyder
 Xi Zhang
 Yoda Lee
diff --git a/src/V3File.h b/src/V3File.h
index 6c45a0456..6a4ded0de 100644
--- a/src/V3File.h
+++ b/src/V3File.h
@@ -28,6 +28,7 @@
 #include <list>
 #include <vector>
 #include <fstream>
+#include <memory>
 
 //============================================================================
 // V3File: Create streams, recording dependency information