diff options
Diffstat (limited to 'benchmarks/super-smack/files/patch-src_dictionary.h')
| -rw-r--r-- | benchmarks/super-smack/files/patch-src_dictionary.h | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/benchmarks/super-smack/files/patch-src_dictionary.h b/benchmarks/super-smack/files/patch-src_dictionary.h new file mode 100644 index 000000000000..a93884507716 --- /dev/null +++ b/benchmarks/super-smack/files/patch-src_dictionary.h @@ -0,0 +1,10 @@ +--- src/dictionary.h.orig 2003-05-15 00:14:52 UTC ++++ src/dictionary.h +@@ -22,6 +22,7 @@ using namespace std; + #include "../config.h" + + #include <string> ++#include <cstring> + #include <vector> + #include <time.h> + #include <stdlib.h> |