1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23
|
From: Markus Koschany <[email protected]>
Date: Thu, 24 Aug 2017 19:00:29 +0200
Subject: gcc7
Bug-Debian: https://bugs.debian.org/853614
Bug-Upstream: https://github.com/Pingus/pingus/issues/183
Origin: https://github.com/Pingus/pingus/commit/df6e2f445d3e2925a94d22faeb17be9444513e92
---
src/pingus/screens/demo_session.cpp | 1 +
1 file changed, 1 insertion(+)
diff --git a/src/pingus/screens/demo_session.cpp b/src/pingus/screens/demo_session.cpp
index d613756..03067b1 100644
--- a/src/pingus/screens/demo_session.cpp
+++ b/src/pingus/screens/demo_session.cpp
@@ -18,6 +18,7 @@
#include <algorithm>
#include <iostream>
+#include <functional>
#include "engine/gui/gui_manager.hpp"
#include "engine/gui/surface_button.hpp"
|