diff -r 9b078bc3ce13 -r abcbdcf36ab2 src/work/jacint/makefile
--- a/src/work/jacint/makefile	Wed Mar 10 17:49:55 2004 +0000
+++ b/src/work/jacint/makefile	Thu Mar 11 11:03:22 2004 +0000
@@ -3,7 +3,7 @@
 CXXFLAGS = -W -Wall -ansi -pedantic
 LEDAROOT = /ledasrc/LEDA-4.1
 
-BINARIES = preflow dijkstra
+BINARIES = dijkstra
 
 all: $(BINARIES)