--- 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"