blob: e00bc3561db61234dc954ccfffba092570e05507 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
|
--- src/util.cc-orig 2014-07-18 09:55:37.000000000 +0200
+++ src/util.cc 2014-07-18 09:56:11.000000000 +0200
@@ -22,6 +22,7 @@
#include "util.h"
#include <stdio.h>
#include <cstring>
+#include <string>
#include "headers.h"
#ifdef HAVE_HASH_MAP
# include <hash_map>
|