diff options
Diffstat (limited to 'benchmarks/dkftpbench')
| -rw-r--r-- | benchmarks/dkftpbench/files/patch-Platoon.cc | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/benchmarks/dkftpbench/files/patch-Platoon.cc b/benchmarks/dkftpbench/files/patch-Platoon.cc new file mode 100644 index 000000000000..5d077e2e4e74 --- /dev/null +++ b/benchmarks/dkftpbench/files/patch-Platoon.cc @@ -0,0 +1,8 @@ +--- Platoon.cc.orig 2007-07-08 09:20:15.000000000 +0400 ++++ Platoon.cc 2007-07-08 09:20:35.000000000 +0400 +@@ -1,3 +1,5 @@ ++#include <assert.h> ++ + #include "Platoon.h" + #include "dprint.h" + |