blob: f87160dae1393b957002b7ac14c40e5e202a3784 (
plain)
1
2
3
4
5
6
7
8
9
10
|
--- window.cc_org 2022-06-15 11:18:57.176710590 +0200
+++ window.cc 2022-06-15 11:20:06.598793545 +0200
@@ -72,6 +72,7 @@
#include <sstream>
#include <algorithm>
#include <functional>
+#include <optional>
#include <unordered_map>
Buffer::Buffer(Size const size, Cell const& cell) {
|