1.1 --- a/src/work/jacint/makefile	Thu Mar 11 19:24:28 2004 +0000
     1.2 +++ b/src/work/jacint/makefile	Thu Mar 11 23:31:13 2004 +0000
     1.3 @@ -3,7 +3,7 @@
     1.4  CXXFLAGS = -W -Wall -ansi -pedantic
     1.5  LEDAROOT = /ledasrc/LEDA-4.1
     1.6  
     1.7 -BINARIES = dijkstra
     1.8 +BINARIES = prim
     1.9  
    1.10  all: $(BINARIES)
    1.11