--- ./prog/checker_string.cpp	2002-09-26 03:42:42.000000000 +0100
+++ ./prog/checker_string.cpp	2003-06-11 22:05:01.840685592 +0100
@@ -9,6 +9,7 @@
 #include "document_checker.hpp"
 #include "copy_ptr-t.hpp"
 #include "asc_ctype.hpp"
+#include <assert.h> 
 
 static int get_line(FILE * in, CharVector & d)
 {