Package: pingus / 0.7.6-5.1

gcc7.patch Patch series | download
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"