blob: 6b8a36c1199c783b94bcb2833d4fa841308dd36a (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
--- misc/json2profile.cpp.orig 2020-12-20 07:39:23 UTC
+++ misc/json2profile.cpp
@@ -29,6 +29,8 @@
#include <utility>
#include <vector>
+#include <stdio.h> // missing header: https://github.com/thrill/thrill/issues/203
+
using namespace thrill; // NOLINT
using tlx::escape_html;
|
