typo...

[IRC.git] / Robust / src / Benchmarks / SSJava / MP3DecoderInfer / makefile

diff --git a/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/makefile b/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/makefile
index ea1ad43389c6519bfca3b22e075fbe0ea629a846..39e51eee4abd3b408fdd3f85005e14e3ab8d92ce 100644 (file)
--- a/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/makefile
+++ b/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/makefile
@@ -6,7 +6,7 @@ SOURCE_FILES=MP3Player.java Player.java
 SSJAVA= -ssjava -ssjavainfer -ssjavadebug
 BSFLAGS= -32bit -mainclass $(PROGRAM)  -heapsize-mb 1350 -nooptimize -debug -garbagestats #-printlinenum #-joptimize
 
-#NAIVELAG= -ssjava-infer-naive-writedots
+#NAIVEFLAG= -ssjava-infer-naive-writedots
 
 default: $(PROGRAM)s.bin