1--- Platoon.cc.orig 2002-02-15 05:11:46 UTC 2+++ Platoon.cc 3@@ -1,3 +1,5 @@ 4+#include <assert.h> 5+ 6 #include "Platoon.h" 7 #include "dprint.h" 8 9 10