patch-Platoon.cc « files « dkftpbench « benchmarks - ports.git - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff

path: root/benchmarks/dkftpbench/files/patch-Platoon.cc

blob: fbea4d488e3332192061e4cdf8c4fa1bd3600a47 (plain) (blame)

--- Platoon.cc.orig	2002-02-15 05:11:46 UTC
+++ Platoon.cc
@@ -1,3 +1,5 @@
+#include <assert.h>
+
 #include "Platoon.h"
 #include "dprint.h"