diff -r f56eb959dd39 -r ce9438c5a82d src/work/makefile
--- a/src/work/makefile	Tue Aug 24 09:50:33 2004 +0000
+++ b/src/work/makefile	Wed Aug 25 18:55:57 2004 +0000
@@ -1,5 +1,5 @@
 INCLUDEDIRS ?= -I.. -I. -I./{marci,jacint,alpar,klao,akos}
-CXXFLAGS = -g -O2 -W -Wall $(INCLUDEDIRS) -ansi -pedantic
+CXXFLAGS = -g -O3 -W -Wall $(INCLUDEDIRS) -ansi -pedantic
 
 BINARIES ?= bin_heap_demo