aboutsummaryrefslogtreecommitdiffstats
path: root/benchmarks/dkftpbench/files/patch-Platoon.cc
blob: 5d077e2e4e74049cf7b009c7b778cf0c6b2bac45 (plain) (blame)
1
2
3
4
5
6
7
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"