diff -r c76f1eea05d2 -r ca164520d31a src/work/jacint/preflow_jgraph.h
--- a/src/work/jacint/preflow_jgraph.h	Mon Mar 01 14:33:00 2004 +0000
+++ b/src/work/jacint/preflow_jgraph.h	Mon Mar 01 14:43:07 2004 +0000
@@ -350,7 +350,7 @@
 		  level.set(v,n);
 		  v=right.get(v);
 		}
-		level_list[i]=NodeIt();
+		level_list[i]=NodeIt(); 
 		if ( !what_heur ) active[i]=NodeIt();
 	      }