diff -r 8aca0af3f30b -r 770cc1f4861f src/work/marci/bfsit_vs_byhand.cc
--- a/src/work/marci/bfsit_vs_byhand.cc	Fri Apr 23 21:26:32 2004 +0000
+++ b/src/work/marci/bfsit_vs_byhand.cc	Sat Apr 24 12:44:41 2004 +0000
@@ -3,7 +3,7 @@
 #include <fstream>
 
 #include <list_graph.h>
-#include <smart_graph.h>
+//#include <smart_graph.h>
 #include <dimacs.h>
 #include <time_measure.h>
 #include <for_each_macros.h>