diff -r 708df4dc6ab6 -r 6c7bd0edd1d7 src/work/makefile
--- a/src/work/makefile	Tue Jun 01 11:00:24 2004 +0000
+++ b/src/work/makefile	Wed Jun 02 09:45:50 2004 +0000
@@ -1,5 +1,5 @@
 INCLUDEDIRS ?= -I.. -I. -I./{marci,jacint,alpar,klao,akos}
-CXXFLAGS = -g -O3 -W -Wall $(INCLUDEDIRS) -ansi -pedantic
+CXXFLAGS = -g -W -Wall $(INCLUDEDIRS) -ansi -pedantic
 
 BINARIES ?= bin_heap_demo