From 85c7cca84655f4c9f562c64c1156f19c152eb284 Mon Sep 17 00:00:00 2001
From: Jon Evans <jon@craftyjon.com>
Date: Tue, 15 Nov 2022 23:30:01 -0500
Subject: [PATCH] Fix missing include

---
 include/undo_redo_container.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/include/undo_redo_container.h b/include/undo_redo_container.h
index d33c8896c3..f20d10feaf 100644
--- a/include/undo_redo_container.h
+++ b/include/undo_redo_container.h
@@ -28,6 +28,7 @@
 
 #include <core/typeinfo.h>
 #include <eda_item_flags.h>
+#include <functional>
 #include <vector>
 
 class EDA_ITEM;