diff -r c645f4a2a6ae -r de9849252e78 src/work/jacint/makefile
--- a/src/work/jacint/makefile	Thu Mar 11 19:24:28 2004 +0000
+++ b/src/work/jacint/makefile	Thu Mar 11 23:31:13 2004 +0000
@@ -3,7 +3,7 @@
 CXXFLAGS = -W -Wall -ansi -pedantic
 LEDAROOT = /ledasrc/LEDA-4.1
 
-BINARIES = dijkstra
+BINARIES = prim
 
 all: $(BINARIES)