--- webcpp/main.cpp.orig 2008-06-17 19:03:37.000000000 -0500 +++ webcpp/main.cpp 2008-06-17 19:03:50.000000000 -0500 @@ -24,6 +24,7 @@ #include "driver.h" #include +#include using namespace std; int main(int argc, char **argv) {